Explore projects

View compiler project

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

Clean compiler

0

Updated Jul 14, 2025

0 1 17

Updated Jul 14, 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 swarm simulation Ard project

sws / Student projects / swarm simulation Ard

0

Updated Jul 01, 2025

0 0 0 0

Updated Jul 01, 2025
View clean-libraries project

clean-and-itasks / clean-libraries
BSD 2-Clause FreeBSD License

Clean libraries and examples

0

Updated Jun 30, 2025

0 0 0 3

Updated Jun 30, 2025
View configure-gpu project

tsg-humlab / configure-gpu

0

Updated Jun 29, 2025

0 0 0 0

Updated Jun 29, 2025
View duckdb-howto project

Informagus / duckdb-howto

0

Updated Jun 27, 2025

0 0 0 0

Updated Jun 27, 2025
View Mtask Shared Shares project

software-technology / njanssen / Mtask Shared Shares

Published in TFP 2025

0

Updated Jun 25, 2025

0 0 0 0

Updated Jun 25, 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 material project

Mikhail Ushakov / material

0

Updated Jun 25, 2025

0 0 0 0

Updated Jun 25, 2025
View Snort_energy_efficiency_measurements project

Widad Majdoubi / Snort_energy_efficiency_measurements

0

Updated Jun 23, 2025

0 0 0 0

Updated Jun 23, 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 Bachelor-Thesis project

Jord Cluitmans / Bachelor-Thesis

A repo contianing my bachelor thesis

0

Updated Jun 16, 2025

0 0 0 0

Updated Jun 16, 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 GearXChange project

Anne Harsta / GearXChange

0

Updated Jun 06, 2025

0 0 0 1

Updated Jun 06, 2025
View awesome app project

RandD team 34 / awesome app

0

Updated Jun 05, 2025

0 0 0 0

Updated Jun 05, 2025
View pc-assignments project

Thomas Goossen / pc-assignments

0

Updated May 27, 2025

0 0

Updated May 27, 2025
View Jorth project

Daniël Roepke / Jorth

0

Updated May 26, 2025

0 0 0 0

Updated May 26, 2025
View Signbank Ansible project

tsg-humlab / Signbank Ansible
Other

0

Updated May 15, 2025

0 0 1 3

Updated May 15, 2025