thomasdingemanse

Master student in Computer Science at VU and UvA.

Utrecht, NL

Pinned Repositories

svls
SystemVerilog language server
Language:Rust466 10 4431
fastify-helmet
Important security headers for Fastify
Language:JavaScript408 19 4946
pmms-assignments
Project repository for the 'Programming multicore and manycore systems' course at University of Amsterdam (UvA) 2022
Language:C0 4 00
fastify-sse-v2
Provide Server-Sent Events to Fastify
Language:TypeScript99 4 2219
advent-of-code-2022
Advent of Code 2022 (adventofcode.com)
Language:Python00
core-v-verif
Functional verification project for the CORE-V family of RISC-V cores.
Language:Assembly00
cv32e40s
4 stage, in-order, secure RISC-V core based on the CV32E40P
Language:SystemVerilog00
dprl-assignment1
Dynamic Programming and Reinforcement Learning, assignment 1
Language:Python00
fastify-helmet
Important security headers for Fastify
Language:JavaScript00
ML4QS
ML4QS source code fork for group 45 (2022)
Language:Python00

thomasdingemanse/advent-of-code-2022
Advent of Code 2022 (adventofcode.com)
Language:Python00
thomasdingemanse/core-v-verif
Functional verification project for the CORE-V family of RISC-V cores.
Language:Assembly00
thomasdingemanse/cv32e40s
4 stage, in-order, secure RISC-V core based on the CV32E40P
Language:SystemVerilog00
thomasdingemanse/dprl-assignment1
Dynamic Programming and Reinforcement Learning, assignment 1
Language:Python00
thomasdingemanse/fastify-helmet
Important security headers for Fastify
Language:JavaScript00
thomasdingemanse/fastify-sse-v2
Provide Server-Sent Events to Fastify
Language:TypeScript00
thomasdingemanse/green-lab-replication-package
Replication package for the Green Lab project "Analysis of how preloading impacts energy consumption during a page load"
Language:HTML00
thomasdingemanse/green-lab-replication-package-lfs
Replication package for the Green Lab project "Analysis of how preloading impacts energy consumption during a page load"
Language:DIGITAL Command Language00
thomasdingemanse/ML4QS
ML4QS source code fork for group 45 (2022)
Language:Python00
thomasdingemanse/svls
SystemVerilog language server
Language:Rust0 0