Popular repositories Loading

1. at at Public

   Effective Algebraic Topology in Haskell

   Haskell 88 3

2. cf cf Public

   "Exact" real arithmetic for Haskell using continued fractions (Not formally proven correct)

   Haskell 40 5

3. tiny tiny Public

   A type theory for tiny objects

   TeX 10

4. operads operads Public

   Modernised version of http://hackage.haskell.org/package/Operads

   Haskell 6

5. CatForce CatForce Public

   Forked from simsim314/CatForce

   GOL catalyst search utility using brute force space search

   C++ 6 2

6. jiggle jiggle Public

   A(n abandoned) 2D soft body physics engine written in C with Ruby bindings.

   C 5