Mark Thom

Results 6 repositories owned by Mark Thom

scryer-prolog

1.9k
Stars
112
Forks
Watchers

A modern Prolog implementation written mostly in Rust.

shentong

161
Stars
9
Forks
Watchers

A Haskell implementation of the Shen programming language.

managed-ctrie

18
Stars
0
Forks
Watchers

Garbage collected concurrent hash tries.

on-the-fly-gc

32
Stars
1
Forks
Watchers

Concurrent mark-sweep garbage collector for accurate garbage collection of language runtimes in C++ 1x.

shen-minikanren

24
Stars
0
Forks
Watchers

An embedding of miniKanren in Shen.

scryer-shen

24
Stars
1
Forks
Watchers