Explore projects
-
program-verification / course-2023-2024
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Hans Harmannij / libpep
Apache License 2.0Implementation of PEP primitives including zero knowledge proofs, based on the Ristretto version of libsodium.
Updated -
Updated
-
Introductory work for my Master's Internship
Updated -
Updated
-
-
Updated
-
-
Updated
-
Updated
-
IRMA / irma-fridge
Apache License 2.0Updated -
Updated
-
Updated
-
Updated
-
Programming Languages / Verified Interpreters for Dynamic Languages with Applications to the Nix Expression Language
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 -
-
Updated
-
Updated