Matthew Wraith's repositories
Algorithm-W-Step-by-Step
Playing with the paper Algorithm W Step by Step
Android-KerrBlackhole
This is a simulation of a particle rotating around a Kerr Blackhole.
KerrBlackholeGeodesics
This is a collection of simulations of geodesics of a Kerr blackhole. These are visualized (in OpenGL) with a sphere (representing a particle) going around a central sphere (the blackhole).
AgdaTypedLambda
A simply typed lambda calculus interpreter in Agda
criterion
A powerful but simple library for measuring the performance of Haskell code.
cscrabble
Be warned: This code is horrendously old and bad. I have not touched it in 8+ years. This is a networked scrabble game client and server in C and ncurses.
Elm
The Elm programming language aims to make web development more pleasant. Elm is a type-safe, functional reactive language that compiles to HTML, CSS, and JavaScript.
gitignore
A collection of useful .gitignore templates
HJavaInterp
Java Interpreter in Haskell
hslogger
Logging infrastructure [Haskell]
Idris-dev
A Dependently Typed Functional Programming Language
LambdaCalc
A test repo for my FPComplete Haskell Center IDE
SemiColonTutorial
Ubiquitous monad tutorial - Monads as programmable semi-colons.
stripe-simple
Haskell bindings to the stripe API using http-streams