| Name | Description | Contact | Last modified | ||
| eff | A programming language with algebraic effects and handlers. NOTE: THIS REPOSITORY IS OBSOLETE. THE PROJECT HAS MOVED TO GITHUB https://github.com/matijapretnar/eff. |
Andrej Bauer | 2 months ago | zip gz bz2 | |
| alg | A program for enumerating models of algebraic theories | Ales Bizjak | 5 months ago | zip gz bz2 | |
| plzoo | Zoo of simple programming languages | Andrej Bauer | 7 weeks ago | zip gz bz2 |