GitHub's Online Schema-migration Tool for MySQL

Quick and efficient lambda functions.

Algorithmic Information Theory, using Binary Lambda Calculus

An optimal function evaluator written in JavaScript.

Parellelized Rule 110 implementation

Nock, Nock. Hoon's there?

QuickFIX C++ Fix Engine Library

A catalogue of Rust design patterns, anti-patterns and idioms

LIBSVM -- A Library for Support Vector Machines

A modern syntax for the λ-calculus.

An alternative to Urbit

Shamelessly convert any Python 2 script into a terrible single line of code

Two-player cellular automata territory control game in Haskell.

This package provides a Django app whose static folder contains the sources of Twitter Bootstrap, nothing more and nothing less.

Kalman Filter book using Jupyter Notebook. Focuses on building intuition and experience, not formal proofs. Includes Kalman filters,extended Kalman filters, unscented Kalman filters, particle filte…

Zipline, a Pythonic Algorithmic Trading Library

Dynamically typed functional programming language

Haskell language features and standard libraries in pure Python.

effect isolation in Python, to facilitate more purely functional code

Python wrapper for the 4chan API + Markov 4chan comment generator.

aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probabilistic programming with a computation/understanding-first, mathematics-second point of view. All in pure Python ;)

GS Collections has been migrated to the Eclipse Foundation, re-branded as Eclipse Collections. https://www.eclipse.org/collections/

A simple, yet elegant, HTTP library.

An implementation of the game 2048 in Haskell + expectimax solver.

Survey the entirety of the IPv4 address space.

FIX (co)parser in haskell

The Haskell Tool Stack

Haskell wrapper for the Tumblr API