Explore projects
-
Robert van der Maas / The Potential Of Reducing Carbon Emissions By Demand Shifting In Dutch Data Centers
Apache License 2.0Updated -
Bram Daams / totp
MIT LicenseUpdated -
-
Updated
-
Updated
-
Programming Languages / Verified Interpreters for Dynamic Languages with Applications to the Nix Expression Language
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
Updated
-
-
program-verification / Course 2024 2025
BSD 3-Clause "New" or "Revised" LicenseUpdated -
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 -
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated