Discover @zmthy Open Source projects

Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

Objective-C

Julia

HTML

Nix

Java

C#

OCaml

Go

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

Kotlin

JavaScript

Dart

Zig

Elm

Crystal

Elixir

C#

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇮🇱 Israel

🇻🇦 Vatican City

🇹🇴 Tonga

🇱🇧 Lebanon

🇹🇱 Timor-Leste

🇲🇽 Mexico

🇿🇦 South Africa

🇵🇷 Puerto Rico

All Countries Compare Countries

Timothy Jones (@zmthy)

zmthy

Stars
81
Global Rank 242,014 (Top 9 %)
Followers 45
Following 20
Registered almost 15 years ago
Most used languages

Haskell
50.0 %

JavaScript
13.6 %

C#
9.1 %

Agda 9.1 %

Racket
9.1 %

Emacs Lisp
4.5 %

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

Agda 2

Racket
4

Haskell
8

Emacs Lisp
46

C#
238

JavaScript
434

Java
838

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.

grace-tmbundle

A Textmate Bundle for the Grace programming language

vicarious

A game for Pixel Jam 2013.

snaplet-css-min

A Snaplet for CSS minification.

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

incidental-detail

Intuitive synthesis of incidental detail using higher-order functions.