Popular repositories

1. categories Public

   Categories parametrized by morphism equality, in Agda

   Agda 144 27

2. java Public

   A Haskell library for manipulating Java class files

   Haskell 15 6

3. charm Public

   (Eventually) a reasonably complete ARM implementation in Haskell

   Haskell 14 3

4. ida-scripts Public

   A collection of IDA scripts

   Python 14 2

5. shaped Public

   A slightly different flavor of generic programming

   Haskell 9 2

6. nixpkgs Public

   Forked from NixOS/nixpkgs

   Nix Packages collection

   Nix 9 1