Pinned Loading

1. harg harg Public

   Haskell program configuration using higher kinded data

   Haskell 29 3

2. haskell-proofs haskell-proofs Public

   Examples using dependent types for mathematical proofs at the type level

   Haskell 13 2

3. emacs.d emacs.d Public

   My emacs configuration using org-mode

   Emacs Lisp 12

4. haskell-nix-cookiecutter haskell-nix-cookiecutter Public

   Cookiecutter template to quickly generate haskell+cabal+nix+direnv projects

   Nix 1 1

5. statue statue Public

   Simple static site generator using only nix

   Nix

6. presentationlib presentationlib Public

   Tool for creating live presentations and evaluating Python code

   Python 8 2