Clean compiler
Run-time system for the Clean programming language
Clean IDE
This project has been moved to GitLab.com.
Implementation of elliptic curve cryptography using the Renes-Costello-Batine addition laws