Popular repositories

1. nix_configs Public

   The NixOS configuration for my desktop.

   Nix 33 3

2. type-level-tf Public

   Type level numerics for Haskell using type families. Based on type-level.

   Haskell 3 3

3. nixpkgs Public

   Forked from NixOS/nixpkgs

   Nix Packages collection

   Nix 3 1

4. RCs Public

   repo of all the RCs and configs I use

   Emacs Lisp 2 1

5. learn-coq Public

   various exercises I've worked through (or failed to work through) while learning the proof assistant Coq.

   Coq 2

6. retronix Public

   RetroArch + NixOS + Opinions

   Nix 2 1