Works

Marmot

A statically typed functional language with algebraic data types, exhaustive patterns, typeclasses, explicit reference cells, and isolated workers. A typed SSA compiler emits bytecode for its own garbage-collected VM; a Rust project tool manages builds and local packages.