Popular repositories Loading

1. limp limp Public

   ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming

   Haskell 16 5

2. folderol folderol Public

   machine fusion

   Haskell 16 1

3. limp-cbc limp-cbc Public

   Coin-OR/CBC bindings for Haskell

   C++ 11 3

4. coq coq Public

   Coq 3

5. clustering clustering Public

   implementation of clustering/scheduling for combinators, using ILP

   Assembly 3

6. papers papers Public

   TeX 2