Mikrokosmos
A λ-calculus interpreter
Table of Contents
Mikrokosmos is an untyped and simply typed λ-calculus interpreter, borrowing its name from the series of progressive piano études Mikrokosmos written by Bela Bartok. It aims to provide students with a tool to learn and understand the λ-calculus.
Try Mikrokosmos!
You can try Mikrokosmos in your browser. Press the evaluate button below!
A more detailed tutorial and a user's guide are available.
About
Mikrokosmos has been developed by Mario Román as part of a bachelor thesis. It is free software licensed under GPL-3. You can follow the development on the relevant GitHub repositories
- Mikrokosmos, main repository. Console interpreter.
- Mikrokosmos-Jupyter, a Jupyter kernel for the interpreter.
- Mikrokosmos-tutorials, a set of tutorials written for Jupyter.
- Mikrokosmos-libs, standard libraries for the interpreter.
- Mikrokosmos-JS, call Mikrokosmos from JS.