Repos by lurk-lab

lurk-lab / repos

74 repos

	Repo	Language	Stars	Rank
	yatima-lang-alpha	Rust	449	2,435
	lurk-rs	Rust	396	2,691
	neptune	Rust	250	3,904
	awesome-folding	unknown	240	13,324
	yatima	Lean	92	30
	lurk-lisp	Common Lisp	65	378
	bellpepper	Rust	63	10,513
	arecibo	Rust	54	11,696
	solidity-verifier	Solidity	54	942
	LSpec	Lean	31	100