TCatshoek

fastapi-nextauth-jwt

FastAPI Dependency to decode nextauth generated JWTs, for use in projects that mix nextjs/nextauth and fastapi.

fastapi-postgres-sse

dash-split

Get started creating your own Dash components here.

lstar

AISTR-activelearning

Final AISTR assignment about active learning

AISTRTestcaseEvaluator

Scripts to see what errors have been reached in the RERS problems by AFL and KLEE

AISTRTestCaseGenerator

Script to generate testcases for the third assignment of the 2020 AISTR course

rust_db_builder

STMLearn

Python state machine learning library

aoc2023

Advent of code 2023

AVR-comp-example

codalab-dockers

fastapi-jwt-auth

FastAPI extension that provides JWT Auth support (secure, easy to use, and lightweight)

JavaInstrumentation

LedMatrixGenerator

logdiff-example

a straightforward implementation of logdiff

loguru

Python logging made (stupidly) simple

parser-experiments

Small educational toy parser experiments

PicoWS2812Manager

Small tool to drive ws2812 led displays from a raspberry pi pico

Protolink_esp32

pysegmenttree

Segment tree implementation in python

python-gitlab

A python wrapper for the GitLab API.

RERS-angr

Example of how to run angr on the RERS problems

RERS2020

Cleaned up code of my approach to the 2020 RERS challenge

STMLearn-benchmarks

STMLearn benchmarks on the radboud automata benchmark set

STMLearn-TLS

TLS protocol state fuzzing using STMLearn

TCatshoek

tlc5947pio

Raspberry pi pico PIO driver for tlc5947 led drivers using the programmable IO functionality

tudelft-cda-lab.github.io

https://cyber-analytics.nl/

tunneler-rs