Repos by lurk-lab

lurk-lab / repos

74 repos

	Repo	Language	Stars	Rank
	RustFFI.lean	Lean	9	275
	Ipld.lean	Lean	8	303
	YatimaStdLib.lean	Lean	8	298
	Poseidon.lean	Lean	7	342
	Lurk.lean	Lean	7	340
	FFaCiL.lean	Lean	7	332
	ZKSnark.lean	Lean	6	381
	yatima-lang-proto	Haskell	5	11,039
	bytecursor	Rust	5	55,443
	sp-im	Rust	5	55,433