Popular repositories Loading

1. categories Public

   Categories parametrized by morphism equality, in Agda

   Agda 142 27

2. java Public

   A Haskell library for manipulating Java class files

   Haskell 17 6

3. charm Public

   (Eventually) a reasonably complete ARM implementation in Haskell

   Haskell 15 3

4. ida-scripts Public

   A collection of IDA scripts

   Python 15 2

5. nixpkgs Public

   Forked from NixOS/nixpkgs

   Nix Packages collection

   Nix 10 1

6. shaped Public

   A slightly different flavor of generic programming

   Haskell 9 2