Explore projects

This project has been moved to GitLab.com.

LaTeX repository for thesis document

Build and CI scripts for Clean

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

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

MkDocs example

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

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

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

LaTeX repository for thesis proposal

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