Explore projects

Build and CI scripts for Clean

Developments started in February 2020

q-GRID is a method to calculate lattice and intermolecular interaction energies for molecular crystals from electron densities obtained within the crystalline environment.

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

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

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

gimp plugin dcamnoise,

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

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

Build and CI scripts for Clean

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

LaTeX repository for thesis document

Spark project accompanying thesis document

Scripts and tools to compile Clean for multiple platforms (e.g. Linux, Windows and Android).