msullivan

sml-util

A handful of potentially useful crap for Standard ML

LazyK

Updated LazyK source distribution

advent-of-code

my advent of code solutions

rmc-compiler

Implementation of RMC atomics for C/C++

web-tetrinet

Browser-based tetrinet implementation

parrot

sully-lf

Implementation of LF using canonical forms

black

The uncompromising Python code formatter

boundvariable

Mirror of 2006 ICFP source with some updates

cpython

The Python programming language

git-mg

A tool to facilitate working with very large git repos.

libpg_query

C library for accessing the PostgreSQL parser outside of the server environment

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

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.

pyxl3

A Python 3 extension for writing structured and reusable inline HTML.

riscv-asm-manual

RISC-V Assembly Programmer's Manual

riscv-formal

RISC-V Formal Verification Framework

solvertools

Mystery Hunt solving tools for Metropolitan Rage Warehouse. Or anyone really.

travis-testing

zulip

Zulip server - powerful open source team chat