- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
A collection of machine-checkend mathematical proofs22 weekly downloads
Here we have fun developing software related to embedded extension languages and small languages in many application domains, using existing languages and/or creating new ones.
Perpetua is an implementation of Haskell and the ML language. Features from scripting languages such as Python will be incorporated to make Perpetua a better general purpose tool. Perpetua is meant to be approachable and well designed.