Pinned Loading

1. isogon isogon Public

   An experimental dependently-typed programming language for performance-critical software.

   Rust 3

2. jyjblrd/flowblocks jyjblrd/flowblocks Public

   Cambridge IB Group Project for the Raspberry Pi Foundation

   TypeScript 40 8

3. pcf-lean pcf-lean Public

   Denotational semantics with ω-CPOs for PCF, translated from the 2023-24 course at Cambridge.

   Lean 1

4. inksy inksy Public

   An infinite scratchpad for effortless chirography.

   Rust 2

5. jbachurski/tenebris jbachurski/tenebris Public

   Roguelike with procedural (re)generation for Cam Game Jam 2023

   Rust 5 1

6. chernobot chernobot Public

   Singapore American School (SAS) MATE robotics codebase [2017-2019]

   C++ 1