Pinned Repositories
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
dash-split
Get started creating your own Dash components here.
fastapi-nextauth-jwt
FastAPI Dependency to decode nextauth generated JWTs, for use in projects that mix nextjs/nextauth and fastapi.
fastapi-postgres-sse
lstar
pyColorchord
My attempt at implementing something like colorchord, but in python
rust_db_builder
STMLearn
Python state machine learning library
FlexFringe
The FlexFringe tool for flexible learning of state machines (deterministic automata) from traces. See the paper at https://arxiv.org/abs/2203.16331
TCatshoek's Repositories
TCatshoek/fastapi-nextauth-jwt
FastAPI Dependency to decode nextauth generated JWTs, for use in projects that mix nextjs/nextauth and fastapi.
TCatshoek/dash-split
Get started creating your own Dash components here.
TCatshoek/fastapi-postgres-sse
TCatshoek/lstar
TCatshoek/AISTR-activelearning
Final AISTR assignment about active learning
TCatshoek/AISTRTestcaseEvaluator
Scripts to see what errors have been reached in the RERS problems by AFL and KLEE
TCatshoek/AISTRTestCaseGenerator
Script to generate testcases for the third assignment of the 2020 AISTR course
TCatshoek/rust_db_builder
TCatshoek/STMLearn
Python state machine learning library
TCatshoek/aoc2023
Advent of code 2023
TCatshoek/AVR-comp-example
TCatshoek/codalab-dockers
TCatshoek/fastapi-jwt-auth
FastAPI extension that provides JWT Auth support (secure, easy to use, and lightweight)
TCatshoek/JavaInstrumentation
TCatshoek/LedMatrixGenerator
TCatshoek/logdiff-example
a straightforward implementation of logdiff
TCatshoek/loguru
Python logging made (stupidly) simple
TCatshoek/parser-experiments
Small educational toy parser experiments
TCatshoek/PicoWS2812Manager
Small tool to drive ws2812 led displays from a raspberry pi pico
TCatshoek/Protolink_esp32
TCatshoek/pysegmenttree
Segment tree implementation in python
TCatshoek/python-gitlab
A python wrapper for the GitLab API.
TCatshoek/RERS-angr
Example of how to run angr on the RERS problems
TCatshoek/RERS2020
Cleaned up code of my approach to the 2020 RERS challenge
TCatshoek/STMLearn-benchmarks
STMLearn benchmarks on the radboud automata benchmark set
TCatshoek/STMLearn-TLS
TLS protocol state fuzzing using STMLearn
TCatshoek/TCatshoek
TCatshoek/tlc5947pio
Raspberry pi pico PIO driver for tlc5947 led drivers using the programmable IO functionality
TCatshoek/tudelft-cda-lab.github.io
https://cyber-analytics.nl/
TCatshoek/tunneler-rs