Discover @zmthy Open Source projects

Timothy Jones (@zmthy)

zmthy

Stars
81
Global Rank 237,024 (Top 9 %)
Followers 44
Following 20
Registered over 14 years ago
Most used languages

Haskell
50.0 %

JavaScript
13.6 %

Racket
9.1 %

C#
9.1 %

Agda 9.1 %

Java
4.5 %

Emacs Lisp
4.5 %
Location 🇳🇿 New Zealand
Country Total Rank 782
Country Ranking

Agda 2

Racket
5

Haskell
8

Emacs Lisp
35

C#
229

JavaScript
428

Java
758

http-media

Processing HTTP Content-Type and Accept headers

hopper

An asynchronous JavaScript interpreter for the Grace programming language

play-dead

A NaGaDeMo game.

cabal-test-quickcheck

QuickCheck for Cabal

recursive-types

An Agda encoding of a language with recursive types.

whitespace

A collaborative whiteboard tool for education.

snaplet-rest

REST resources for the Snap web framework

async-io

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

snap-accept

Accept header branching 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.

graceless-redex

Graceless semantics in PLT Redex.

kihi

A compositional functional programming language.

hs-pong

An attempt to use OpenGL and Reactive Banana to make Pong.

nztronix

A tool for converting archived physical media into archivable software.

vicarious

A game for Pixel Jam 2013.

grace-tmbundle

A Textmate Bundle for the Grace programming language

snaplet-css-min

A Snaplet for CSS minification.

incidental-detail

Intuitive synthesis of incidental detail using higher-order functions.

wyscript

A derivative of the Whiley language which compiles to JavaScript

whiley-tmbundle

A Textmate bundle for the Whiley programming language.

dotfiles

My personal configuration files.

mandelbrot

Simple mandelbrot renderer for Haskell workshop

grace-processing

Bindings for the Processing graphics library in Grace