Clean compiler
Files belonging to submission 35 for NFM'21
Clean IDE
Run-time system for the Clean programming language
Part of btcd
This project has been moved to GitLab.com.
Implementation of elliptic curve cryptography using the Renes-Costello-Batine addition laws
ARM implementation of the ChaCha20 block cipher