https://github.com/mthom/scryer-prolog

A modern Prolog implementation written mostly in Rust.

iso-prolog-standard prolog prolog-implementation prolog-interpreter prolog-programming-language rust

Last synced: 23 Feb 2026

https://github.com/mthom/shentong

A Haskell implementation of the Shen programming language.

haskell interpreter lisp shen

Last synced: 02 Apr 2025

https://github.com/mthom/scryer-shen

Last synced: 06 Feb 2026

https://github.com/mthom/to-syn-value_derive

Last synced: 06 Apr 2026

https://github.com/mthom/to-syn-value

Last synced: 20 Jan 2026