Repos by lurk-lab

lurk-lab / repos

74 repos

	Repo	Language	Stars	Rank
	Blake3.lean	Lean	5	428
	straume	Lean	5	421
	OpenSSL.lean	C	4	142,131
	lurk-web-utils	JavaScript	4	546,355
	OpenGL.lean	Nix	4	3,184
	Vero	Lean	4	495
	Spark.lean	Lean	3	622
	Graph.lean	unknown	3	389,164
	fut-ff	Futhark	2	64
	cedille-core-rs	Rust	2	102,785