Explore projects
-
sovereign / c-monad
BSD 3-Clause "New" or "Revised" LicenseUpdated -
q-GRID is a method to calculate lattice and intermolecular interaction energies for molecular crystals from electron densities obtained within the crystalline environment.
Updated -
Implementing the L* learning algorithm for nominal automata, using the ONS library
Updated -
Implementation of ECC signature verification for curve 255-19 on an ARM board
Updated -
Wouter van der Linde / Qhasm
The UnlicenseThis project contains the Qhasm implementation I used in my Bachelor thesis
Updated -
Updated
-
Implementation of elliptic curve cryptography using the Renes-Costello-Batine addition laws
Updated -
Files belonging to submission 35 for NFM'21
Updated -
Updated
-
-
Updated
-
Updated
-
Updated
-
-
Erin van der Veen / Bachelor-Thesis
GNU General Public License v2.0 or laterUpdated -
Updated
-
The Clean platform is a collection of multi-platform general purpose libraries for Clean.
Updated