Repos by lurk-lab

lurk-lab / repos

74 repos

	Repo	Language	Stars	Rank
	yatima-lang-alpha	Rust	448	2,513
	lurk-rs	Rust	411	2,683
	neptune	Rust	257	3,919
	awesome-folding	unknown	246	13,242
	yatima	Lean	93	31
	lurk-lisp	Common Lisp	66	377
	bellpepper	Rust	64	10,652
	arecibo	Rust	60	11,127
	solidity-verifier	Solidity	56	926
	LSpec	Lean	35	96