Repos by mthom

mthom / repos

18 repos

	Repo	Language	Stars	Rank
	scryer-prolog	Rust	2,053	686
	shentong	Haskell	163	626
	scryer-shen	Racket	42	178
	on-the-fly-gc	C++	33	48,748
	shen-minikanren	Shen	24	9
	managed-ctrie	C++	19	73,548
	prolog_parser	Rust	12	35,893
	unmanaged-ctrie	C++	10	117,693
	truth-tables	Common Lisp	5	3,606
	cl-psoatransrun	Common Lisp	5	3,409