Explore projects
-
Jonathan Moerman / asm3-why3-plugin
GNU Lesser General Public License v2.1 onlyAssembly DSL for why3
Updated -
This project has been moved to GitLab.com.
Archived 0Updated -
Archived 0Updated
-
Archived 1Updated
-
Updated
-
Updated
-
q-GRID is a method to calculate lattice and intermolecular interaction energies for molecular crystals from electron densities obtained within the crystalline environment.
Updated -
Files belonging to submission 35 for NFM'21
Updated -
-
The Clean platform is a collection of multi-platform general purpose libraries for Clean.
Updated -
-
Amber Sprenkels / curve13318-haswell
Creative Commons Zero v1.0 UniversalUpdated -
Amber Sprenkels / curve13318-ivybridge-new
Creative Commons Zero v1.0 UniversalUpdated -
Amber Sprenkels / rutheme
Creative Commons Attribution Share Alike 4.0 InternationalArchived 0Updated -
Updated
-
Implementation of elliptic curve cryptography using the Renes-Costello-Batine addition laws
Updated -
Archived 2Updated