Pinned Loading

1. tsbridge tsbridge Public

   Message bridge between different IM services

   Python

2. msc-thesis msc-thesis Public

   Formalization of Abstract Rewriting in Lean 4

   HTML 1 1

3. spinsel spinsel Public

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

   Haskell

4. mumblebot mumblebot Public

   A Mumble soundbot, written using async Rust

   Rust

5. ucos-iii-raspberry-pi ucos-iii-raspberry-pi Public

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

   C 1

6. ramdemption ramdemption Public

   PowerBook 165c RAM expansion board

   ANTLR 2