Pinned Loading

1. category-theory category-theory Public

   An axiom-free formalization of category theory in Coq for personal study and practical work

   Rocq Prover 785 80

2. dot-emacs dot-emacs Public

   My .emacs.el file and other personal Emacs goodies

   Emacs Lisp 740 93

3. nix-config nix-config Public

   My local Nix configuration

   Nix 454 54

4. nixos-config nixos-config Public

   NixOS configuration (/etc/nixos) for my home data server

   Nix 1

5. git-from-the-bottom-up git-from-the-bottom-up Public

   An introduction to the architecture and design of the Git content manager

   SCSS 873 111

6. emacs-async emacs-async Public

   Simple library for asynchronous processing in Emacs

   Emacs Lisp 879 70