Repos by gebner

gebner / repos

41 repos

	Repo	Language	Stars	Rank
	hott3	Lean	72	37
	trepplein	Scala	26	4,643
	m17n-lean	Python	12	300,782
	dali-usb	C	9	86,232
	lean4-old	Lean	8	289
	compiz-cms	C++	5	184,053
	hledger-diff	Haskell	5	11,808
	oleanparser	Lean	5	407
	super2	Lean	4	503
	lean4-mathlib-import	Lean	4	502