michaelpj

lambda-pi

caching-calculus

datalog

schemehs

Write Yourself a Scheme in 48 Hours

antlr4

ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

cytoscape.js

Graph theory / network library for analysis and visualisation (supports CommonJS/Node.js/Browserify/Webpack, AMD/Require.js, npm, CDNJS, Bower, jspm, Meteor, jQuery, and plain JS/JavaScript)

free-monad

Code for blog post

ghprb-plugin

github pull requests builder plugin for Jenkins

good-technology-project

Working out how to do good with software

heroku-buildpack-ruby-octopress

Fork of Heroku's Ruby Buildpack for Cedar with added support for compiling Octopress sites. See the blog post for specifics:

idris-datalog

idris-kernel

metrics

:chart_with_upwards_trend: Capturing JVM- and application-level metrics. So you know what's going on.

nix-index

Quickly locate nix packages with specific files

nix-pills

octopress

Octopress is an obsessively designed framework for Jekyll blogging. It’s easy to configure and easy to deploy. Sweet huh?

scalaz

An extension to the core Scala library for functional programming.

snappy

Port of Snappy to Java

sparse

summerton

summerton