paddymahoney

music-grid

music-grid will eventually be an application that allows the user to see and manipulate representations of music. It is written in Racket.

DraggableWindows

ensime-sbt-cmd

An Sbt command for supporting integration with ENSIME.

fluxus

a cross platform 3D game engine for livecoding worlds into existence

gitflow

Git extensions to provide high-level repository operations for Vincent Driessen's branching model.

haskell-mode

Emacs mode for Haskell

jdepend

A Java package dependency analyzer that generates design quality metrics.

libtelnet

Simple RFC-complient TELNET implementation as a C library.

nexus-crowd-plugin

Sonatype Nexus plugin for Atlassian Crowd integration

pracket

pracket

racket-dev-goodies

Scripts for Racket developers

resume

rng

Pure-functional random value generation

sbt

sbt, a build tool for Scala

scalacheck

A powerful tool for automatic unit testing

scalariform

Scala source code formatter

Scalax.IO

Fork of Scalax IO and Resource Management Library - replaced with project on scala-incubator

stalin

stalin brutally optimizing Scheme compiler, with Debianization patches

taf

A Lisp with row polymorphism, delimited continuations, and hygienic macros. [vaporware]

tt

A minimalist implementation of type theory, suitable for experimentation

wat-js

Wat programming language, in which everything is first-class: syntax, control, and data

xmonad-1

xmonad in Coq