Timothy Jones

http-media. Processing HTTP Content-Type and Accept headers

hopper. An asynchronous JavaScript interpreter for the Grace programming language

play-dead. A NaGaDeMo game.

recursive-types. An Agda encoding of a language with recursive types.

cabal-test-quickcheck. QuickCheck for Cabal

whitespace. A collaborative whiteboard tool for education.

snaplet-rest. REST resources for the Snap web framework

automating-gradual-typing. Define your language under an abstracted functor and get different type systems as a result: an Agda exercise

kinect-hs. Haskell bindings for the Kinect.

snap-accept. Accept header branching for the Snap web framework

async-io. A library for Haskell supporting asynchronous IO with a fork-join model.

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.

coffee-script. Unfancy JavaScript

graceless-redex. Graceless semantics in PLT Redex.

incidental-detail. Intuitive synthesis of incidental detail using higher-order functions.

kihi. A compositional functional programming language.

mandelbrot. Simple mandelbrot renderer for Haskell workshop

snaplet-css-min. A Snaplet for CSS minification.

grace-tmbundle. A Textmate Bundle for the Grace programming language

whiley-tmbundle. A Textmate bundle for the Whiley programming language.

wyscript. A derivative of the Whiley language which compiles to JavaScript

dotfiles. My personal configuration files.

nztronix. A tool for converting archived physical media into archivable software.

hs-pong. An attempt to use OpenGL and Reactive Banana to make Pong.

vicarious. A game for Pixel Jam 2013.

grace-processing. Bindings for the Processing graphics library in Grace