Mark Thom

scryer-prolog. A modern Prolog implementation written mostly in Rust.

shentong. A Haskell implementation of the Shen programming language.

scryer-shen. Racket

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

shen-minikanren. An embedding of miniKanren in Shen.

managed-ctrie. Garbage collected concurrent hash tries.

prolog_parser. An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.

unmanaged-ctrie. Concurrent hash tries for C++ 14 with no memory management whatsoever.

truth-tables. "Not chef"-quality truth table generator.

cl-psoatransrun. A CL implementation of PSOATransRun, realizing the PSOA RuleML data and rule language.

shentong-backend. The Haskell backend for Shentong, Shen version 20

abominable-klambda-compiler. A hastily written KLambda->Haskell compiler.

shentong-interpreter. Haskell

shentong-core. The core of the Shentong implementation.

PSOATransRunComponents. Components of PSOATransRun system

readline.rs. A minimal readline library wrapper for the Rust programming language.

dashu. A library set of arbitrary precision numbers implemented in Rust.

SOMpp. SOM++ - C++ implementation of the Simple Object Machine Smalltalk

num-rug-adapter. An adapter to use num crate where rug is needed.

modular-bitfield. Macro to generate bitfields for structs that allow for modular use of enums.

sdl4racket. SDL 1.2 bindings for the Racket language.

memmap2-rs. cross-platform Rust API for memory mapped IO

omr. Eclipse OMR™ Cross platform components for building reliable, high performance language runtimes

mthom.github.io. HTML