bmsherman/haskell-vect
Length-indexed lists for Haskell
Developer Profile
bmsherman
Discovered public repositories for bmsherman in the GitHub catalog.
bmsherman/gadts-talk
Materials for HaskellDC talk on GADTs
bmsherman/cryptopals
Solutions to the Matasano Crypto Challenges in Haskell
bmsherman/HML
Toy functional programming language compiling to x64 asm
bmsherman/blog
Public repository.
bmsherman/priority-map
Mutable Haskell data structure which combines a heap with a map to allow random heap access
bmsherman/haskell-matlab
Matlab bindings and interface for Haskell
bmsherman/neo4j-haskell-http-client
Haskell bindings to Neo4j via its REST interface
bmsherman/LiveHistogram
Display live histograms for data streams in the console
bmsherman/LinAlg-magma
GPU backend (using CUBLAS and MAGMA) for LinAlg
bmsherman/magma-gpu
Haskell FFI bindings to the MAGMA GPU library
bmsherman/cublas
Haskell FFI bindings for CUBLAS, CUSPARSE, and CuFFT
bmsherman/LinAlg
A Haskell interface for specifying linear algebra computations
bmsherman/Idris-dev
A Dependently Typed Functional Programming Language
bmsherman/autotabber
AutoTabber generates optimal guitar tablature from MIDI files describing guitar pieces.