mthom

scryer-prolog

A modern Prolog implementation written mostly in Rust.

shentong

A Haskell implementation of the Shen programming language.

scryer-shen

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.

cl-psoatransrun

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

truth-tables

"Not chef"-quality truth table generator.

shentong-backend

The Haskell backend for Shentong, Shen version 20

shentong-core

The core of the Shentong implementation.

shentong-interpreter

abominable-klambda-compiler

A hastily written KLambda->Haskell compiler.

memmap2-rs

cross-platform Rust API for memory mapped IO

mthom.github.io

num-rug-adapter

An adapter to use num crate where rug is needed.

omr

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

PSOATransRunComponents

Components of PSOATransRun system

readline.rs

A minimal readline library wrapper for the Rust programming language.

sdl4racket

SDL 1.2 bindings for the Racket language.

SOMpp

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

dashu

A library set of arbitrary precision numbers implemented in Rust.

modular-bitfield

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

omnigres

Postgres as a Platform

rustyline

Readline Implementation in Rust

to-syn-value

to-syn-value_derive