Explore projects

Oblivious Pseudorandom Functions

Nicked from Kenneth Lund Andersen's git project at git.kern.phys.au.dk

Repository for the course: "Praktisk programmering og numeriske metoder"

Adaptation of Andreas Gad's finalfit project (https://gitlab.au.dk/au479664/finalfit) to AUSA's "Modern CMake" approach

Device software for the Capybara Force Feedback Mouse. Arduino + Raspberry Pi Pico

VDM code generation targeting ANSI C