Pinned Repositories
autotabber
AutoTabber generates optimal guitar tablature from MIDI files describing guitar pieces.
blog
cublas
Haskell FFI bindings for CUBLAS, CUSPARSE, and CuFFT
haskell-matlab
Matlab bindings and interface for Haskell
LinAlg
A Haskell interface for specifying linear algebra computations
topology
Formal topology (and some probability) in Coq
lean-protocol-support
This project contains various supporting libraries for lean to reason about protocols.
marshall
Our modifications of the Marshall language for exact real arithmetic and examples
probzelus-haskell
A probabilistic programming language for streaming inference
smooth
An arbitrary-precision differentiable programming language.
bmsherman's Repositories
bmsherman/autotabber
AutoTabber generates optimal guitar tablature from MIDI files describing guitar pieces.
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/neo4j-haskell-http-client
Haskell bindings to Neo4j via its REST interface