Pinned Loading

1. phd phd Public

   👨🏻‍🎓 Automated Inference of Pruning Rules for Transport Optimisation Problems

   Typst

2. tambercore/mud tambercore/mud Public

   📦 Natural Language Theorem Prover built on Dependent Type Theory (Agda) and Symbolic NLP (Lambeq), awarded Best Group Dissertation at University of Nottingham.

   Rust 7

3. mpir mpir Public

   🚀 Literate Programming with Refinement Types, awarded runner up best dissertation at University of Nottingham 2024.

   Rust

4. jazzhands jazzhands Public

   🎷 1st Place for HackNotts84. Intuitive, Retro, Gesture Based, Rhythm game using Python3, GMS2, OpenCV & MediaPipe. Free Demo now available on Steam!

   Game Maker Language 3

5. tavernstalk tavernstalk Public

   🍺 1st Place at Royal Hackaway v8! Medieval, crime-aware taverncrawl optimisation and routing.

   HTML

6. chronomancer chronomancer Public

   🕰️ First Place at HackNotts 2025! Strategy game played over non-linear, acyclic time in medieval kingdoms synthesised from real cities.

   Game Maker Language