zmthy/vim-grace
Vim configuration for the Grace programming language
Developer Profile
zmthy
Discovered public repositories for zmthy in the GitHub catalog.
zmthy/minigrace1
Andrew's fork of the minigrace compiler
zmthy/incidental-detail
Intuitive synthesis of incidental detail using higher-order functions.
zmthy/snaplet-rest
REST resources for the Snap web framework
zmthy/snap-accept
Accept header branching for the Snap web framework
zmthy/cabal-test-quickcheck
QuickCheck for Cabal
zmthy/vicarious
A game for Pixel Jam 2013.
zmthy/helm
A functionally reactive game engine, with headgear to protect you from the headache of game development provided.
zmthy/HTTP
Haskell HTTP package
zmthy/dotfiles
My personal configuration files.
zmthy/489-uhc
489 w/ uhc
zmthy/http-media
Processing HTTP Content-Type and Accept headers
zmthy/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.
zmthy/hs-pong
An attempt to use OpenGL and Reactive Banana to make Pong.
zmthy/comp103
A basic game for COMP 103 workshop.
zmthy/mwh-minigrace
Public repository.
zmthy/play-dead
A NaGaDeMo game.
zmthy/grace-processing
Bindings for the Processing graphics library in Grace
zmthy/async-io
A library for Haskell supporting asynchronous IO with a fork-join model.
zmthy/whiley-tmbundle
A Textmate bundle for the Whiley programming language.
zmthy/coffeekup
Markup as CoffeeScript.
zmthy/grace-tmbundle
A Textmate Bundle for the Grace programming language
zmthy/wybench
Benchmark Suite for Whiley
zmthy/kinect-hs
Haskell bindings for the Kinect.
zmthy/WhileyCompiler
Whiley is a programming language particularly suited to safety-critical systems. It is a hybrid object-oriented and functional programming language which employs extended static checking to eliminate errors at compile time, including divide-by-zero, array out-of-bounds and null dereference errors.
zmthy/wyscript
A derivative of the Whiley language which compiles to JavaScript
zmthy/nztronix
A tool for converting archived physical media into archivable software.
zmthy/whitespace
A collaborative whiteboard tool for education.
zmthy/coffee-script
Unfancy JavaScript