ascii-physics
A 2D physics engine that renders to the terminal — a constraint solver over sparse matrices, pluggable ODE integrators, and composable force generators driving cloth and particle demos in pure ASCII.
Oxford · Matematik ve Bilgisayar Bilimi
Soyut matematik ile gerçek dünya sistemlerinin kesişiminde çalışıyorum — tip teorisi, eşzamanlı sistemler ve makine öğrenmesinin biçimsel temelleri üzerine. Burası, projelerimi bir araya getirdiğim ve üzerinde çalışırken öğrendiklerimi, keşfettiklerimi not aldığım yer.
A 2D physics engine that renders to the terminal — a constraint solver over sparse matrices, pluggable ODE integrators, and composable force generators driving cloth and particle demos in pure ASCII.
A CLI that bulk-downloads course files from any Moodle instance — API-token or browser-cookie SSO auth (including Shibboleth), resumable SQLite-tracked state, parallel workers, and checksum-based change detection.
A backend for hosting werewolf games online — Spring Boot with a hexagonal domain/ports/infrastructure split, WebSocket room events, code-based authentication, and server-driven phase timers.
A small differentiation engine in OCaml — a hand-written parser builds expression trees that are evaluated and differentiated symbolically, with .mli interfaces throughout.