Pinned Loading

1. msc-thesis msc-thesis Public

   Formalization of Abstract Rewriting in Lean 4

   HTML

2. spinsel spinsel Public

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

   Haskell

3. mumblebot mumblebot Public

   A Mumble soundbot

   Rust

4. ours ours Public

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

   C++

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. haskompiler haskompiler Public

   A work-in-progress compiler for the Civic model programming language, written in Haskell.

   Haskell