Mitchell Riley

at. Effective Algebraic Topology in Haskell

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

tiny. A type theory for tiny objects

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

CatForce. GOL catalyst search utility using brute force space search

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

rainbow. An experimental type-checker for dependent bunched implication

cgt. Combinatorial Game Theory in Haskell

barrister. C++

LifeAPI. A C++ library for manipulating Conway's Game of Life patterns running on a 64×64 torus.

no-three-in-line. Cuda

cf-talk. TeX

fractions. lazy continued fractions

refs. bibfiles

lightcone. C++

optics. TeX

officers. Cuda