VeriClux
Explaining neural network classifiers using SAT-based reasoning.
GitHub
Prophet
Predicting heart transplantation survival using NLP and transformer models.
GitHub
Chess Engine — Achillees
Chess engine with a peak CCRL (40/15) rating of 2250 Elo.
GitHub
Ataxx Engine & Server
C++ engine and Node.js server for the Ataxx board game.
8-bit Computer
Schematics for a custom 8-bit bitboard computer.
GitHub
Algorithms
Interactive visualizations of algorithms from AI to cryptography.