Ben

blog. Idris

topology. Formal topology (and some probability) in Coq

haskell-matlab. Matlab bindings and interface for Haskell

LinAlg. A Haskell interface for specifying linear algebra computations

cublas. Haskell FFI bindings for CUBLAS, CUSPARSE, and CuFFT

finite. Facts about isomorphisms and finite types in Coq

autotabber. AutoTabber generates optimal guitar tablature from MIDI files describing guitar pieces.

gadts-talk. Materials for HaskellDC talk on GADTs

LiveHistogram. Display live histograms for data streams in the console

HML. Toy functional programming language compiling to x64 asm

cryptopals. Solutions to the Matasano Crypto Challenges in Haskell

LinAlg-magma. GPU backend (using CUBLAS and MAGMA) for LinAlg

magma-gpu. Haskell FFI bindings to the MAGMA GPU library