msullivan Goto Github PK

advent-of-code

my advent of code solutions

avl-tree

intrusive avl trees in C

black

The uncompromising Python code formatter

boundvariable

Mirror of 2006 ICFP source with some updates

bovik-papers

charlie-game

cmd-queue

A really dumb script for running a queue of commands

cpython

The Python programming language

epicmix

folly

An open-source C++ library developed and used at Facebook.

git-mg

A tool to facilitate working with very large git repos.

godels-t

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

he-man

Haskell Event Manager, Apropos Networking

hhvm-third-party

All of the dependencies that hhvm needs which don't have nice packages

latexrun

A 21st century LaTeX wrapper

lazyk

Updated LazyK source distribution

msgpack-postgres

MessagePack implementation for PostgreSQL / msgpack.org[PostgreSQL]

mypy

Optional static typing for Python 2 and 3 (PEP 484)

mypy-pycharm-plugin

A simple plugin that allows running mypy from PyCharm and navigate between errors

mypy_extensions

Extensions for mypy (separated out from mypy/extensions).

mypy_primer

Run mypy over millions of lines of code

mypyc

Compiler from type annotated Python to C extensions

ollibot

An implementation of substructural intuitionistic logic focused on forward chaining

parrot

peps

Python Enhancement Proposals

picorv32

PicoRV32 - A Size-Optimized RISC-V CPU

py-pgproto

Low-level IO utilities for PosgtreSQL drivers.

pyannotate

Auto-generate PEP-484 annotations

pyflakes

A simple program which checks Python source files for errors

python-modernize

Modernizes Python code for eventual Python 3 migration. Built on top of 2to3.