Explore projects

Clean IDE

Leaderboard based on Python (Flask) where students can submit code assignments and see how their performance metrics compare to other students.

Implementation of PEP primitives including zero knowledge proofs, based on the Ristretto version of libsodium.

Clean make

Run-time system for the Clean programming language

Some of the scripts used for the RERS challenge 2016

Clean codegenerator

Clean make

Some of the scripts used for the RERS challenge 2016

The Perception and Action Toolbox

Implementation of elliptic curve cryptography using the Renes-Costello-Batine addition laws