mthom/shentong-interpreter

Stars
3
Rank 3,963,521 (Top 79 %)
Language
Haskell
License
BSD 3-Clause "New...
Created over 7 years ago
Updated almost 3 years ago

mthom/shentong-interpreter

mthom

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

scryer-prolog

A modern Prolog implementation written mostly in Rust.

shentong

A Haskell implementation of the Shen programming language.

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.

shentong-backend

The Haskell backend for Shentong, Shen version 20

cl-psoatransrun

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

shentong-core

The core of the Shentong implementation.

abominable-klambda-compiler

A hastily written KLambda->Haskell compiler.

readline.rs

A minimal readline library wrapper for the Rust programming language.

mthom.github.io