Popular repositories Loading

1. categories categories Public

   Categories parametrized by morphism equality, in Agda

   Agda 152 23

2. charm charm Public

   (Eventually) a reasonably complete ARM implementation in Haskell

   Haskell 15 3

3. java java Public

   A Haskell library for manipulating Java class files

   Haskell 15 6

4. ida-scripts ida-scripts Public

   A collection of IDA scripts

   Python 13 2

5. shaped shaped Public

   A slightly different flavor of generic programming

   Haskell 9 2

6. nixpkgs nixpkgs Public

   Forked from NixOS/nixpkgs

   Nix Packages collection

   Nix 9 1