Languages
Developers
Countries
Repos
Topics
Repos by mthom
mthom
/ repos
18 repos
«
1
2
»
Repo
Language
Stars
Rank
scryer-prolog
Rust
1,892
651
shentong
Haskell
160
622
on-the-fly-gc
C++
32
46,234
scryer-shen
Racket
25
292
shen-minikanren
Shen
24
9
managed-ctrie
C++
18
71,094
prolog_parser
Rust
12
31,872
unmanaged-ctrie
C++
10
109,435
truth-tables
Common Lisp
5
3,460
cl-psoatransrun
Common Lisp
5
3,270