Pinned Loading

1. relative-monads-lean relative-monads-lean Public

   Formalization of relative monads with application to untyped lambda calculus using Lean

   Lean

2. bind-torrent bind-torrent Public

   BitTorrent client written with Haskell

   Haskell

3. NaOS NaOS Public

   A minimal, barely functioning, almost broken, not doing much, x86 kernel written with C.

   C

4. pistachio-can pistachio-can Public

   A pastebin-like service developed with Rust+Rocket.

   CSS

5. zip-fuse zip-fuse Public

   Mounting a zip archive as a filesystem using FUSE

   C 1