msullivan

parrot

uvloop

Ultra fast asyncio event loop.

immutables

A high-performance immutable mapping type for Python.

asyncpg

A fast PostgreSQL Database Client Library for Python/asyncio.

imdbench

IMDBench — Realistic ORM benchmarking

edgedb

A graph-relational database with declarative schema, built-in migration system, and a next-generation query language

FingerTree

Implementation of a generic 2-3 finger tree in Swift based on the Haskell implementation demonstrated in http://andrew.gibiansky.com/blog/haskell/finger-trees

csv23

Python 2/3 unicode CSV compatibility layer

landslide

stateless model checking for thread libraries, kernels, and transactional memory

pyusbip

Userspace USBIP server (i.e., "shares a USB device") implementation based on python-libusb1

mypy-playground

The mypy playground. Try mypy with your web browser.

mypy

Optional static typing for Python

latexrun

A 21st century LaTeX wrapper

cmd-queue

A really dumb script for running a queue of commands

crossbeam

Tools for concurrent programming in Rust

ollibot

An implementation of substructural intuitionistic logic focused on forward chaining

bovik-papers

godels-t

Formalization of a bunch of properties of Godel's System T in agda

LazyK

Updated LazyK source distribution

toy

ollibot

An implementation of substructural intuitionistic logic focused on forward chaining

he-man

Haskell Event Manager, Apropos Networking

sml-util

A handful of potentially useful crap for Standard ML

agda-lib

A standard library for Agda

rust

Empowering everyone to build reliable and efficient software.