Repos by kmill

kmill / repos

34 repos

	Repo	Language	Stars	Rank
	lean4-raytracer	Lean	113	22
	knotfolio	JavaScript	23	150,534
	textadv	Python	14	272,552
	zmach	JavaScript	9	316,304
	LeanTeX	Lean	6	343
	arrow_poly	Mathematica	5	928
	htmacros	Python	3	884,963
	dcc	Haskell	3	18,273
	lean-graphcoloring	Lean	3	614
	squidmusic	Python	2	1,273,135