The easy parallel algorithm specification language
MIT License
Functional Programming Course
educational compiler for not (quite) toy languages
A language experiment -- irc.freenode.net ##coda
outline & examples for my ZuriHac 2020 talk, Languages All the Way Down
oleg modules
An interpreter for learning and exploring pure λ-calculus
A program for evaluating a Haskell expression step-by-step