Explore projects
-
Updated
-
program-verification / Course 2024 2025
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
-
Updated
-
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 -
Programming Languages / Verified Interpreters for Dynamic Languages with Applications to the Nix Expression Language
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
Introductory work for my Master's Internship
Updated -
-
Updated