Popular repositories Loading

1. Papers Papers Public

   Forked from gspindles/Papers

   A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics

   23 1

2. kobo-utils kobo-utils Public

   SSH client for Kobo Aura One

   Nix 6

3. travis-nix-proot travis-nix-proot Public

   A helper script for testing with Nix on Travis CI without sudo

   Shell 2

4. zim-parser zim-parser Public

   Haskell library for parsing ZIM files

   Nix 1 1

5. papers-1 papers-1 Public

   Forked from ocharles/papers

   A Git annex repository of papers

   1

6. nixpkgs nixpkgs Public

   Forked from NixOS/nixpkgs

   Nix Packages collection

   Nix