Explore projects
-
Updated
-
sovereign / c-monad
BSD 3-Clause "New" or "Revised" LicenseUpdated -
-
program-verification / course-2023-2024
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Scripts and tools to compile Clean for multiple platforms (e.g. Linux, Windows and Android).
Updated -
Practical assignment for the course Cryptographic Engineering (of the TRU/e Security Master), by Matthias Ghering and Wouter van der Linde
UpdatedUpdated -
Amber Sprenkels / curve13318-haswell
Creative Commons Zero v1.0 UniversalUpdated -
Implementation of elliptic curve cryptography using the Renes-Costello-Batine addition laws
Updated -
Amber Sprenkels / curve13318-ivybridge-new
Creative Commons Zero v1.0 UniversalUpdated -
Updated
-
Updated
-
-
Updated
-
Firmware for single board computer hardware specifically made for the biophysics experimental setups. Typically runs on Raspberry Pi and Arduino boards. For communication we use LabStreamingLayer (LSL), ZeroMQ and the Boost framework.
Updated -