Explore projects

View Website project

Life Science Trace Detection Laboratory (TDLab) / Website

0

Updated Aug 16, 2024

0 0 0 0

Updated Aug 16, 2024
View Volume1Number2 project

irrj / Volume1Number2

0

Updated Jan 21, 2026

0 0 0 0

Updated Jan 21, 2026
View Volume1Number1 project

irrj / Volume1Number1

0

Updated Jan 21, 2026

0 0 0 0

Updated Jan 21, 2026
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 vector_alloc project

Tom Janssen / vector_alloc

0

Updated May 02, 2024

0 0 1

Updated May 02, 2024
View UU_pp_open project

Steven van der Vorm / UU_pp_open

0

Updated Dec 18, 2021

0 0 0 0

Updated Dec 18, 2021
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 totp project

Bram Daams / totp
MIT License

0

Updated Aug 20, 2025

0 0 0 0

Updated Aug 20, 2025
View thesisproposal project

Koen Dercksen / thesisproposal

LaTeX repository for thesis proposal

0

Updated Dec 01, 2016

0 0 0 0

Updated Dec 01, 2016
View thesisdoc project

Koen Dercksen / thesisdoc

LaTeX repository for thesis document

0

Updated Jun 20, 2017

0 0 0 0

Updated Jun 20, 2017
View thesiscode project

Koen Dercksen / thesiscode

Spark project accompanying thesis document

0

Updated Jun 14, 2017

0 0 0 0

Updated Jun 14, 2017
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 Spmv Compilation project

software-technology / Spmv Compilation

0

Updated Sep 05, 2025

0 0 0 0

Updated Sep 05, 2025
View splv25 project

Programming Languages / splv25

0

Updated Jan 19, 2026

0 0 0 0

Updated Jan 19, 2026
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 session-channels-linking-sources project

Thomas Somers / session-channels-linking-sources
BSD 3-Clause "New" or "Revised" License

0

Updated Dec 04, 2025

0 0 1 0

Updated Dec 04, 2025
View Science Compute Clusters project

cncz / Science Compute Clusters

0

Updated Dec 11, 2024

0 0 0 0

Updated Dec 11, 2024
View ReLoC-2 project

sovereign / ReLoC-2
BSD 3-Clause "New" or "Revised" License

https://gitlab.mpi-sws.org/iris/reloc/

0

Updated Apr 17, 2019

0 0 0 0

Updated Apr 17, 2019
View ReLoC project

sovereign / ReLoC

A mirror of ReLoC - Relational logic for fine-grained concurrency

0

Updated Feb 02, 2018

0 0 0 0

Updated Feb 02, 2018
View q-GRID project

theochem / q-GRID

q-GRID is a method to calculate lattice and intermolecular interaction energies for molecular crystals from electron densities obtained within the crystalline environment.

0

Updated Apr 15, 2021

0 0 0 0

Updated Apr 15, 2021