wraithm/AgdaTypedLambda
A simply typed lambda calculus interpreter in Agda
Developer Profile
wraithm
Discovered public repositories for wraithm in the GitHub catalog.
wraithm/CoreCompiler
Public repository.
wraithm/gitignore
A collection of useful .gitignore templates
wraithm/GMusicShuffle
Public repository.
wraithm/HJavaInterp
Java Interpreter in Haskell
wraithm/Algorithm-W-Step-by-Step
Playing with the paper Algorithm W Step by Step
wraithm/SemiColonTutorial
Ubiquitous monad tutorial - Monads as programmable semi-colons.
wraithm/HCatmullClark
Public repository.
wraithm/HTeapots
Public repository.
wraithm/MountainFlight
Public repository.
wraithm/RocketI
Public repository.
wraithm/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).
wraithm/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.
wraithm/Android-KerrBlackhole
This is a simulation of a particle rotating around a Kerr Blackhole.
wraithm/LambdaCalc
A test repo for my FPComplete Haskell Center IDE
wraithm/criterion
A powerful but simple library for measuring the performance of Haskell code.
wraithm/cumtd
Android cumtd app