Repos by mb64

mb64 / repos

25 repos

	Repo	Language	Stars	Rank
	sel	sed	50	10
	LC-interpreter	C	29	35,909
	prolog	Rust	26	19,122
	xtt	OCaml	26	1,376
	android-ndk-rs	Rust	23	20,916
	simple-lambda-prolog	OCaml	19	1,815
	poly	Haskell	16	4,646
	idris2-extras	Idris	7	249
	cubical-free-monads	Agda	4	523
	small_morse	Rust	3	77,186