Liquid Types For Haskell

Seamless integration of https://pre-commit.com git hooks with Nix.

easily build most Haskell programs into fully static Linux executables

Git branch checkout menu

Random Wallpapers for Gnome 3

Installing stuff with Nix made easy

Higher-kinded data via generics

Haskell program configuration using higher kinded data

A merge-bot for GitLab

Get a great development environment presto.

Learning RayTracing in Rust

An applet that will display Xmonad log information

A next-generation IDE that makes programming more efficient

Poppy is a simple message queue CLI tool

An implementation of Scrabble, development ongoing

Learn Haskell, with tiny lessons.

Date parsing extensions for the JavaScript JSON parser to provide real dates from JSON.parse()

Monte Carlo ray tracer developed using Rust

An applet that will display Xmonad log information

An applet that will display Xmonad log information

Kubernetes cluster build tool

Irssi notification system using zeroMQ

A compiler for Alan language written in Haskell

cocos2d for android, based on cocos2d-android-0.82, and now ported from cocos2d-iphone 0.99.4. The googlecode address is here: http://code.google.com/p/cocos2d-android-1/ . There are several demos …

A visualizer for the Lambda Lifting game (ICFPC '12) in Haskell