Sam Ezeh

Untangle. Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4

lichess-speedrun. A tool to ethically perform speedruns on lichess (WIP)

ABM. My first big Agent Based Computational Economic Model

pgn-filter. A small program to query for games inside PGN documents

lichess-unpackaged. Miscellaneous documents pertaining to the Lichess website.

coexp. Implementation of the lambda-lambda-bar calculus from "The Duality of Abstraction" https://vikraman.org/files/popl24-coexp.pdf

pyterion. Statistics-driven benchmarking library for Python

acoustic-plane. Formant estimation in Zig

introduction-to-speech-processing. An interactive introduction to speech processing

dignissimus.github.io. HTML

pipe-kingdom. A 2d open-world game where you build and develop your own water company

Dentured. The Dentured programming language

flappy-formants. Flappy birds with your mouth

chessemory. The Chess memory-game

aqavm. WIP lexer, parser, interpreter and LLVM compiler for aqa pseudcode and assembly language

formant-plotter. Python script to produce vowel chart visualisations using Linear Predictive Coding

betbook. A fast way to make and track bets with your friends

lc0.js. lc0 web assembly port

recode-chess.

ASP. A "simple" Stack-oriented programming language

presearch. A python program to query python scripts via syntax