Repos by ichistmeinname

ichistmeinname / repos

26 repos

	Repo	Language	Stars	Rank
	free-proving	Coq	27	192
	free-theorems	Haskell	9	7,186
	Curry-Lenses	Haskell	8	8,166
	DTDatastructures	Agda	4	546
	ProbabilisticProgramming	TeX	3	20,959
	FreeMonadLecture	Haskell	2	21,499
	Puzzles	TeX	1	59,437
	page	HTML	1	1,288,690
	ProbabilisticProgrammingBenchmarks	HTML	1	1,261,431
	haskell-for-beginners	Haskell	1	31,087