Explore projects

Practical assignment for the course Cryptographic Engineering (of the TRU/e Security Master), by Matthias Ghering and Wouter van der Linde

Extending the cost analysis with cost over time

Implementing the L* learning algorithm for nominal automata, using the ONS library

The Clean platform is a collection of multi-platform general purpose libraries for Clean.

Build and CI scripts for Clean

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

A mirror of ReLoC - Relational logic for fine-grained concurrency

Part of btcd

This project has been moved to GitLab.com.

gimp plugin dcamnoise,

Clean codegenerator