Repos by dselsam

dselsam / repos

19 repos

	Repo	Language	Stars	Rank
	certigrad	Lean	385	6
	neurosat	Python	261	26,018
	neurocore-public	Python	37	131,389
	lean-python-bindings	Python	13	285,256
	lean-gym	Lean	11	212
	binport	Lean	10	242
	terpret_problem	Python	5	564,166
	neurocuber	Python	5	561,340
	arc	Haskell	5	10,975
	islanders	Lean	3	627