msullivan's Stars
rust-lang/rust
Empowering everyone to build reliable and efficient software.
python/mypy
Optional static typing for Python
edgedb/edgedb
A graph-relational database with declarative schema, built-in migration system, and a next-generation query language
MagicStack/uvloop
Ultra fast asyncio event loop.
crossbeam-rs/crossbeam
Tools for concurrent programming in Rust
MagicStack/asyncpg
A fast PostgreSQL Database Client Library for Python/asyncio.
MagicStack/immutables
A high-performance immutable mapping type for Python.
aclements/latexrun
A 21st century LaTeX wrapper
edgedb/imdbench
IMDBench — Realistic ORM benchmarking
ymyzk/mypy-playground
The mypy playground. Try mypy with your web browser.
jwise/pyusbip
Userspace USBIP server (i.e., "shares a USB device") implementation based on python-libusb1
msullivan/sml-util
A handful of potentially useful crap for Standard ML
msullivan/LazyK
Updated LazyK source distribution
clf/ollibot
An implementation of substructural intuitionistic logic focused on forward chaining
lazytype/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
bblum/landslide
stateless model checking for thread libraries, kernels, and transactional memory
robsimmons/agda-lib
A standard library for Agda
msullivan/godels-t
Formalization of a bunch of properties of Godel's System T in agda
xflr6/csv23
Python 2/3 unicode CSV compatibility layer
msullivan/cmd-queue
A really dumb script for running a queue of commands
msullivan/he-man
Haskell Event Manager, Apropos Networking
robsimmons/toy
msullivan/bovik-papers
msullivan/ollibot
An implementation of substructural intuitionistic logic focused on forward chaining
msullivan/parrot