The Golomb Universe
IT8907-FCP Assignment created by class-1-team-1
A quick and easy calculator that tells you what mark you need to achieve on your exams for each grade (HD, DN, CR, PP).
Primitives Become Lean4 Inductive Types | Lattice Operations Become Machine-Verified Theorems | Structural Claims About Mathematics Become Decidable Propositions
Contrast Analyzer of Few Layer Van der Waals Materials
ASP.NET Web Forms server that interfaces with Microsoft Azure to simulate an airline database.
All-in-one fitness and macro tracker - Winner of Conrad Innovator Distinction 2026
Experimental orchestration fixture for the Neverthought epistemic bench.
To associate your repository with the distinction topic, visit your repo's landing page and select "manage topics."