Pinned Loading

1. msc-thesis msc-thesis Public

   Formalization of Abstract Rewriting in Lean 4

   HTML 1

2. spinsel spinsel Public

   Static site generator for https://segfault.party/

   Haskell

3. ours ours Public

   Ours is a C++ + ncurses minesweeper clone with multiplayer support.

   C++

4. ucos-iii-raspberry-pi ucos-iii-raspberry-pi Public

   A bare-bones port of μC/OS-III to the Raspberry Pi.

   C 1

5. ramdemption ramdemption Public

   PowerBook 165c RAM expansion board

   ANTLR 1

6. mumblebot mumblebot Public

   A Mumble soundbot, written using async Rust

   Rust