Repos by lurk-lab

lurk-lab / repos

74 repos

	Repo	Language	Stars	Rank
	neptune-triton	C	27	38,236
	Wasm.lean	Lean	24	115
	Megaparsec.lean	Lean	22	126
	introit	Nix	20	1,044
	lurk-lib	unknown	17	100,472
	circom-scotia	Rust	17	25,099
	bellpepper-gadgets	Rust	17	25,060
	radiya.rs	Rust	12	31,859
	Http.lean	Lean	9	272
	Parsec.lean	Lean	9	271