Projects in Awesome Lists by MatteP1
A curated list of projects in awesome lists by MatteP1 .
https://github.com/mattep1/countdown_solver
Solvers for the popular British television program "Countdown"
Last synced: 22 Jul 2025
https://github.com/mattep1/systemf-normalisation
Formal Proof of Normalisation in System F
Last synced: 04 Mar 2025
https://github.com/mattep1/thesis
Master's Thesis in Computer Science: Verification of the Blocking and Non-Blocking Michael-Scott Queue Algorithms
coq formal-verification iris michael-scott queue queues verification
Last synced: 22 Jan 2026
https://github.com/mattep1/rusty-server
Repository containing all code & files to run web server
Last synced: 11 Sep 2025
https://github.com/mattep1/relational-reasoning
BSc Project in Computer Science. Topic: Relational Reasoning
Last synced: 08 Feb 2026
https://github.com/mattep1/haski
A compiler and interpreter for the SKI calculus implemented in Haskell
Last synced: 26 Feb 2026
https://github.com/mattep1/minecraft-japanese-resolver
A Minecraft mod that interactively resolves Japanese text by showing both readings of any kanji and translations.
Last synced: 15 Jun 2025