Tom Catshoek's Projects
Final AISTR assignment about active learning
Scripts to see what errors have been reached in the RERS problems by AFL and KLEE
Script to generate testcases for the third assignment of the 2020 AISTR course
Advent of code 2023
Arduino interface for Adafruit-GFX to control a set of 8x8 LEDs with a MAX7219 or MAX7221
Get started creating your own Dash components here.
FastAPI extension that provides JWT Auth support (secure, easy to use, and lightweight)
FastAPI Dependency to decode nextauth generated JWTs, for use in projects that mix nextjs/nextauth and fastapi.
a straightforward implementation of logdiff
Python logging made (stupidly) simple
Small educational toy parser experiments
Small tool to drive ws2812 led displays from a raspberry pi pico
protobuf files for protolink
My attempt at implementing something like colorchord, but in python
Segment tree implementation in python
A python wrapper for the GitLab API.
Example of how to run angr on the RERS problems
Cleaned up code of my approach to the 2020 RERS challenge
Python state machine learning library