Popular repositories Loading

1. nixpkgs nixpkgs Public

   Forked from NixOS/nixpkgs

   Nix Packages collection

   Nix 2

2. hott-book hott-book Public

   Forked from HoTT/book

   A textbook on informal homotopy type theory

   TeX

3. typeableT typeableT Public

   Haskell

4. MSPweb MSPweb Public

   Forked from msp-strath/MSPweb

   being the shared sources and generated html for the MSP website

   HTML

5. worlds worlds Public

   Agda

6. ghc ghc Public

   Forked from ghc/ghc

   Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haske…

   Haskell