Repos by lurk-lab

lurk-lab / repos

74 repos

	Repo	Language	Stars	Rank
	yatima-lang-alpha	Rust	448	2,528
	lurk-rs	Rust	418	2,668
	neptune	Rust	259	3,916
	awesome-folding	unknown	249	13,169
	yatima	Lean	106	28
	lurk-lisp	Common Lisp	66	377
	bellpepper	Rust	66	10,454
	arecibo	Rust	62	10,954
	solidity-verifier	Solidity	56	934
	LSpec	Lean	35	98