Discover @mthom Open Source projects

Mark Thom (@mthom)

mthom

Stars
1,961
Global Rank 15,729 (Top 0.6 %)
Followers 163
Following 93
Registered over 12 years ago
Most used languages

Haskell
33.3 %

C++
20.0 %

Rust
20.0 %

Common Lisp
13.3 %

HTML
6.7 %

Shen 6.7 %
Location 🇨🇦 Canada
Country Total Rank 507
Country Ranking

Shen 1

Haskell
10

Rust
22

Common Lisp
28

C++
548

HTML
7,848

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-interpreter

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