This project is the old version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).

Remove large amounts of unwanted applications quickly.

Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.

Website for Moonad

Cocoa/Mac backend for IUP (Portable native-GUI Interface) [switch to Cocoa branch]

A modern proof language

Haskell to JavaScript compiler, based on GHC

♊ higher-order, no-boilerplate monads

Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just …

📽 Highly Optimized 2D / 3D Graphics Math (glm) for C