Pinned Loading

1. tambercore/mud tambercore/mud Public

   📦 Natural Language Theorem Prover built on Dependent Type Theory (Agda) and Symbolic NLP (Lambeq).

   Rust 3

2. mpir mpir Public

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

   Rust

3. divinity divinity Public

   🪄 Peoples Prize for HackSheffield9! Dependently typed toy language with LLM-verified holes developed in Rust using Z3 Theorem Prover!

   Python

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. mole mole Public

   Forked from aswarbs/mole

   🕵️ 1st Place at Hack The Museum. Hardware Controlled & Computer Vision Interpreted Robot Programming Game! Deployed using GM, OpenCV, Raspberry Pi 5 & Particle Photon 2!

   Python

6. tavernstalk tavernstalk Public

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

   HTML