Migrated to https://github.com/carlostome/ni-nbe

Travis CI Client (CLI and Ruby library)

Lean Theorem Prover

Haskell library for exact real arithmetic

Catchy combinators for HUnit

Haskell bindings for PETSc and SLEPc

📖 Additions to Markdown for writing specification documents

QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.

Documentation and examples for the Springpad export format.

True Sublime Text style multiple selections for Vim

The iconic SVG, font, and CSS toolkit

Small command-line program to download videos from some streaming sites.

QuickLook generator for Markdown files.

Adds the hammer of the gods to any sng