Epitech's GLaDOS project: a complete language pipeline in Haskell — tokenizer, parser, two optimization passes, bytecode compiler and a stack-based virtual machine.
- Optimization runs on both representations — a call graph marks reachable functions, so dead functions and unused variables are dropped before the bytecode itself is trimmed.
- The VM reuses the current frame on tail calls, so deep recursion never grows the stack.
- Typed C-like syntax: signatures such as function guess(n: int) -> void, closures and first-class lambdas, structs and arrays.
- Ships with a VS Code extension for syntax highlighting.
- Over 1,000 commits, released as v1.0.0 with full documentation and a user manual.