Popular repositories Loading

1. tinyemu tinyemu Public

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

   C 64 17

2. deontic deontic Public

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

   Haskell 6

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 4

4. dot dot Public

   my personal dot files

   Nix 3

5. bootstrap-nix bootstrap-nix Public

   Nix 2

6. claude-code-nix-sandbox claude-code-nix-sandbox Public

   Pure Nix machinery for sandboxed Claude Code sessions with Chromium — bubblewrap, systemd-nspawn, and QEMU VM backends

   Nix 2 1