Explore projects

View Pp Materials project

parallel-computing / Pp Materials

8

Updated Jun 10, 2025

8 3 0 0

Updated Jun 10, 2025
View homepage project

cncz / homepage

http://cncz.science.ru.nl en https://home.cncz.nl

3

Updated Dec 05, 2025

3 4 1 0

Updated Dec 05, 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 Data project

cncz / Sys / Data

1

Updated Dec 02, 2025

1 0 0 0

Updated Dec 02, 2025
View parallel_programs project

parallel-computing / parallel_programs

1

Updated Dec 07, 2024

1 14 0 0

Updated Dec 07, 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 clean-graph-copy project

clean-and-itasks / clean-graph-copy

Archived 1

Updated Oct 29, 2024

Archived 1 1 0 0

Updated Oct 29, 2024
View IRRJ style project

irrj / IRRJ style

Latex style file for the Information Retrieval Research Journal

1

Updated Oct 23, 2025

1 0 0 0

Updated Oct 23, 2025
View biofysica project

Marc van Wanrooij / biofysica

1

Updated Dec 18, 2025

1 0

Updated Dec 18, 2025
View cross-compiler project

distributed-itasks / cross-compiler

Scripts and tools to compile Clean for multiple platforms (e.g. Linux, Windows and Android).

0

Updated Jan 21, 2017

0 0 0 0

Updated Jan 21, 2017
View parallel_programs project

Thomas Koopman / parallel_programs

0

Updated Apr 19, 2023

0 0 0 0

Updated Apr 19, 2023
View docker-volume-utils project

Bram Daams / docker-volume-utils

0

Updated Aug 19, 2025

0 0 0 0

Updated Aug 19, 2025
View curve13318-ivybridge project

Amber Sprenkels / curve13318-ivybridge

Implementation of elliptic curve cryptography using the Renes-Costello-Batine addition laws

0

Updated Jul 28, 2019

0 0 0 0

Updated Jul 28, 2019
View Opencl Example project

Thomas Koopman / Opencl Example

0

Updated Jul 04, 2023

0 0 0 0

Updated Jul 04, 2023
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 thesisdoc project

Koen Dercksen / thesisdoc

LaTeX repository for thesis document

0

Updated Jun 20, 2017

0 0 0 0

Updated Jun 20, 2017
View Fft Power Of Four project

software-technology / Fft Power Of Four

0

Updated Sep 26, 2025

0 0 0 0

Updated Sep 26, 2025
View Website project

Life Science Trace Detection Laboratory (TDLab) / Website

0

Updated Aug 16, 2024

0 0 0 0

Updated Aug 16, 2024
View Distmem Artefact project

software-technology / Distmem Artefact

0

Updated Sep 24, 2025

0 0 0 0

Updated Sep 24, 2025
View splv25 project

Programming Languages / splv25

0

Updated Jul 28, 2025

0 0 0 0

Updated Jul 28, 2025