Repos by mb64

mb64 / repos

25 repos

	Repo	Language	Stars	Rank
	sel	sed	52	10
	LC-interpreter	C	30	37,251
	prolog	Rust	26	21,456
	xtt	OCaml	26	1,417
	android-ndk-rs	Rust	24	22,822
	simple-lambda-prolog	OCaml	20	1,776
	poly	Haskell	16	4,717
	idris2-extras	Idris	7	255
	cubical-free-monads	Agda	4	539
	small_morse	Rust	3	87,488