Pinned Repositories
elm-pwa-boilerplate
learn-you-an-agda
Learn you an Agda (and achieve enlightenment)
llvm-hs-examples
Examples for Haskell bindings to LLVM
plt-study
A path to Programming Language Theory enlightenment
stm
Scanning Tunneling Microscope
TypeTheory
The mathematical study of type theories, in univalent foundations
heath's Repositories
heath/analytics.js
The hassle-free way to integrate analytics into any web application.
heath/bitstarter
heath/bittip
Reddit tip bot
heath/coffee-script
Unfancy JavaScript
heath/d3-plugins
A repository for sharing D3.js plugins.
heath/express-yeoman-angular-stack
Stack using Yeoman 1.0.0-beta.4, ExpressJS 3.1.0 and Angular.
heath/exterminate
terminal emulator application like xterm in node and html
heath/flask-angular
A dev environment for setting up flask applications with Angular.JS
heath/fpjsideas
ideas for a library set to create a full fp runtime
heath/gitfiti
abusing github commit history for the lulz
heath/grunt
Grunt: The JavaScript Task Runner
heath/grunt-init-haskell-test
A grunt-init task that sets up a haskell library ready for unit testing with HTF and HUnit
heath/grunt-shell
Run shell commands
heath/intersect
An explanation of 2D collision tests in CoffeeScript
heath/jor1k
OR1K Emulator written in Javascript running Linux
heath/nesh-clear-screen
A plugin to clear the screen within Nesh
heath/node-addon-examples
Node.js C++ addon examples from http://nodejs.org/docs/latest/api/addons.html
heath/OpenPyCR
Python controller for OpenPCR.
heath/palace
heath/reactivemanifesto
The Reactive Manifesto
heath/rendr-app-template
Basic skeleton for a Rendr app.
heath/reppy
Modern robots.txt Parser for Python
heath/robots.js
Parser for robots.txt for node.js
heath/scotty
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)
heath/shapeless
An exploration of generic/polytypic programming in Scala
heath/st
simple statistics from the command line
heath/treehugger
JavaScript AST (Abstract Syntax Tree) transformation tools
heath/vty-ui
A terminal user interface programming library similar to graphical interfaces such as GTK and QT.
heath/world.geo.json
Annotated geo-json geometry files for the world
heath/zombie
Insanely fast, full-stack, headless testing using node.js