Solve logic puzzles within a spreadsheet

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

Unofficial builds of the MLton Standard ML compiler for various architectures

SCIP - Solving Constraint Integer Programs

💥💻💥 A data-parallel functional programming language

OFRAK: unpack, modify, and repack binaries.

Standard ML of New Jersey

Debian packages for alacritty.

Library for Standard ML

DOOM Open Source Release

A Fountain export tool with some extras...

Moved to Codeberg

Share your terminal over the web

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

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

The MLton repository

A pure type system implemented in OCaml

JSPen creates permanent web pages that you can share anywhere.

Tail Call Optimization for Python