General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

DOOM Open Source Release

Share your terminal over the web

💥💻💥 A data-parallel functional programming language

OFRAK: unpack, modify, and repack binaries.

The MLton repository

SCIP - Solving Constraint Integer Programs

Tail Call Optimization for Python

Standard ML of New Jersey

An open-source platform for building DIY sand tables (like the Sisyphus or ZenXY)

Debian packages for alacritty.

A pure type system implemented in OCaml

A basic library of algorithms and data structures (a la NJlib)

Create and restore a backup of the full Android app data, fully offline.

A Fountain export tool with some extras...

Library for Standard ML

JSPen creates permanent web pages that you can share anywhere.

Unofficial builds of the MLton Standard ML compiler for various architectures

Disassemble and/or inflate random bytes; collect statistics; prove PhD man wrong