OFRAK: unpack, modify, and repack binaries.

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

💥💻💥 A data-parallel functional programming language

SCIP - Solving Constraint Integer Programs

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

Standard ML of New Jersey

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

The MLton repository

Share your terminal over the web

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

Unofficial builds of the MLton Standard ML compiler for various architectures

DOOM Open Source Release

A Fountain export tool with some extras...

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

Debian packages for alacritty.

A pure type system implemented in OCaml

JSPen creates permanent web pages that you can share anywhere.

Tail Call Optimization for Python

Library for Standard ML