Pinned Loading

1. solo-calc solo-calc Public

   Dance of the Solos - Solo Calculus BSc Dissertation

   TeX

2. petri-nets petri-nets Public

   From Additive to Classical Proof Search using Coalescence - M.Comp. Project, University of Bath, 2019 and Structures and Deduction Submission 2019

   TeX

3. lambda-cube lambda-cube Public

   Some thoughts on Calculus of Constructions

   Haskell

4. democracy-plusplus democracy-plusplus Public

   Helldivers 2 companion app for randomizer and challenge runs

   TypeScript

5. palisade palisade Public

   Moderately Secure SQLite

   Rust

6. lumenarch lumenarch Public

   Top-down 2D sci-fi systems game about building a patchwork ship

   Rust