Popular repositories Loading

1. tinyemu tinyemu Public

   Fabrice Bellard's tinyemu (https://bellard.org/tinyemu/)

   C 64 17

2. dot dot Public

   my personal dot files

   Nix 3

3. pix pix Public

   Explore Nix internals through readable Python. Store path hashing, NAR serialization, derivation parsing, daemon protocol — re-derived in ~600 lines.

   Python 3

4. deontic deontic Public

   Curry-Howard isomorphism for deontic logic — formalizing Korean Civil Act with Haskell type-level stratified defeasibility

   Haskell 3

5. bootstrap-nix bootstrap-nix Public

   Nix 2

6. ghc-fastboot ghc-fastboot Public

   Zero-cost serialization for GHC Haskell — freeze any closure graph into a snapshot, thaw it back in microseconds via mmap/mremap

   C 2