Repos by mjendrusch

mjendrusch / repos

17 repos

	Repo	Language	Stars	Rank
	nimna	Nim	21	885
	torchsupport	Python	19	215,092
	metric	Nim	17	1,067
	pytorch-histogan	Python	4	637,367
	mobi-talks	TeX	3	18,525
	lean-falso	Lean	2	814
	monoidal-categories-reboot	Lean	2	804
	learning-ifc	Python	2	1,155,731
	betafold	Python	2	1,147,754
	assoc	Jupyter Notebook	2	272,855