Explore projects

View totp project

Bram Daams / totp
MIT License

0

Updated Aug 20, 2025

0 0 0 0

Updated Aug 20, 2025
View code-generator project

clean-compiler-and-rts / code-generator
BSD 2-Clause FreeBSD License

Clean codegenerator

0

Updated Aug 15, 2025

0 0 1

Updated Aug 15, 2025
View Verified Interpreters for Dynamic Languages with Applications to the Nix Expression Language project

Programming Languages / Verified Interpreters for Dynamic Languages with Applications to the Nix Expression Language
BSD 3-Clause "New" or "Revised" License

0

Updated Jul 12, 2025

0 0 0 0

Updated Jul 12, 2025
View Course 2024 2025 project

program-verification / Course 2024 2025
BSD 3-Clause "New" or "Revised" License

3

Updated Jun 25, 2025

3 3 0 0

Updated Jun 25, 2025
View Firmware project

Biophysics Labs / Firmware

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.

0

Updated Jun 17, 2025

0 0 0 0

Updated Jun 17, 2025
View Pp Materials project

parallel-computing / Pp Materials

8

Updated Jun 10, 2025

8 3 0 0

Updated Jun 10, 2025
View Pp Materials project

Aaditya Kondhia / Pp Materials

0

Updated Jun 08, 2025

0 0 0 0

Updated Jun 08, 2025
View Pp Materials project

Gijsbert van Elk / Pp Materials

0

Updated Jun 07, 2025

0 0 0 0

Updated Jun 07, 2025
View pc-assignments project

Thomas Goossen / pc-assignments

0

Updated May 27, 2025

0 0

Updated May 27, 2025
View master-thesis project

Simcha van Collem / master-thesis

0

Updated Apr 11, 2025

0 0 0 0

Updated Apr 11, 2025
View ultrafast-hardware-bench-simple project

Rutger Berns / ultrafast-hardware-bench-simple

0

Updated Mar 21, 2025

0 0 0 0

Updated Mar 21, 2025
View The Lsharp algorithm for DFAs project

Frits Vaandrager / The Lsharp algorithm for DFAs

0

Updated Feb 11, 2025

0 0 0 0

Updated Feb 11, 2025
View A18 project

ndl / 2024-projects / A18

0

Updated Dec 24, 2024

0 0 0 1

Updated Dec 24, 2024
View Science Compute Clusters project

cncz / Science Compute Clusters

0

Updated Dec 11, 2024

0 0 0 0

Updated Dec 11, 2024
View parallel_programs project

parallel-computing / parallel_programs

1

Updated Dec 07, 2024

1 14 0 0

Updated Dec 07, 2024
View MQTTClient project

mTask / MQTTClient
BSD 2-Clause "Simplified" License

MQTTClient implementation for iTasks using WolfMQTT

0

Updated Nov 06, 2024

0 0 0 0

Updated Nov 06, 2024
View shared project

Jaap-Henk Hoepman / shared

Shared library files (for e.g. LaTeX)

0

Updated Nov 05, 2024

0 0 0

Updated Nov 05, 2024
View CleanSerial project

Mart Lubbers / CleanSerial

0

Updated Oct 29, 2024

0 0 0 0

Updated Oct 29, 2024
View eca-symbolic-execution project

sustainable-software / eca-symbolic-execution

1

Updated Oct 29, 2024

1 0 0 5

Updated Oct 29, 2024
View information-retrieval project

Ward Theunisse / information-retrieval

0

Updated Oct 29, 2024

0 0

Updated Oct 29, 2024