mthom Goto Github PK

abominable-klambda-compiler

A hastily written KLambda->Haskell compiler.

cl-psoatransrun

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

dashu

A library set of arbitrary precision numbers implemented in Rust.

managed-ctrie

Garbage collected concurrent hash tries.

memmap2-rs

cross-platform Rust API for memory mapped IO

modular-bitfield

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

mthom.github.io

num-rug-adapter

An adapter to use num crate where rug is needed.

omnigres

Postgres as a Platform

omr

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

on-the-fly-gc

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

prolog_parser

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

psoatransruncomponents

Components of PSOATransRun system

readline.rs

A minimal readline library wrapper for the Rust programming language.

rustyline

Readline Implementation in Rust

scryer-prolog

A modern Prolog implementation written mostly in Rust.

scryer-shen

sdl4racket

SDL 1.2 bindings for the Racket language.

shen-minikanren

An embedding of miniKanren in Shen.

shentong

A Haskell implementation of the Shen programming language.

shentong-backend

The Haskell backend for Shentong, Shen version 20

shentong-core

The core of the Shentong implementation.

shentong-interpreter

sompp

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

to-syn-value

to-syn-value_derive

truth-tables

"Not chef"-quality truth table generator.

unmanaged-ctrie

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