Explore projects

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

Extending the cost analysis with cost over time

Part of btcd

gimp plugin dcamnoise,

ARM implementation of the ChaCha20 block cipher

https://cs.ru.nl/~dfrumin/wpc/index.html

https://gitlab.mpi-sws.org/iris/reloc/

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

Shared library files (for e.g. LaTeX)

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

Build and CI scripts for Clean