Lightweight framework for easy and efficient code generation

Some utility functions to help make working on scratch space easier

Tensors and Dynamic neural networks in Python with strong GPU acceleration

Display and control your Android device

A textbook on informal homotopy type theory

HTMLPurifier for Objective-C: Standards-Compliant HTML Filtering

The PHP Interpreter

HTML files for my personal website

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

Beautiful, interactive visualizations of logical inference

The Monad Reader: Issue 20

Transcript of "Inventing on Principle", CUSEC 2012 given by Bret Victor

A minimalistic text-based status bar

Mirror of packages-containers repository. DO NOT SUBMIT PULL REQUESTS HERE

The PHP Interpreter

A multi-protocol curses IM client.

A collection of space leaks in GHC Haskell

Python interface for talking to the github API

The GHC repository

Mirror of packages-containers repository. DO NOT SUBMIT PULL REQUESTS HERE. Use https://github.com/haskell/containers instead.

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

Sensor Simulator for simulating sensor data in real time.

Higher-order optimization library

Count-min sketch implementation in OCaml

Core framework for the PHPT testing framework

Bindings for LDAP [Haskell]

Fedora DS multimaster replication tools.

A multi-protocol curses IM client.