The MLton repository

Low-level Lisp with compile-time memory management

The People's Refinement Logic

APL Compiler targeting a typed array intermediate language

MLton with Realtime GC and Threading features

Semantic model for aspects of ELF static linking and DWARF debug information

APL compiler written in Standard ML

APL parser written in Standard ML