Pinned Repositories
advent-of-code
my advent of code solutions
godels-t
Formalization of a bunch of properties of Godel's System T in agda
he-man
Haskell Event Manager, Apropos Networking
LazyK
Updated LazyK source distribution
rmc-compiler
Implementation of RMC atomics for C/C++
sml-util
A handful of potentially useful crap for Standard ML
typecoin
Typecoin: Massively Multiplayer Online Linear Logic
mypyc
Compile type annotated Python to fast C extensions
msullivan's Repositories
msullivan/sml-util
A handful of potentially useful crap for Standard ML
msullivan/typecoin
Typecoin: Massively Multiplayer Online Linear Logic
msullivan/godels-t
Formalization of a bunch of properties of Godel's System T in agda
msullivan/cmd-queue
A really dumb script for running a queue of commands
msullivan/he-man
Haskell Event Manager, Apropos Networking
msullivan/web-tetrinet
Browser-based tetrinet implementation
msullivan/avl-tree
intrusive avl trees in C
msullivan/bovik-papers
msullivan/ollibot
An implementation of substructural intuitionistic logic focused on forward chaining
msullivan/userspace-rcu
This repo is a mirror of the official lttng-tools git found at git://git.lttng.org/userspace-rcu.git. liburcu is a LGPLv2.1 userspace RCU (read-copy-update) library. This data synchronization library provides read-side access which scales linearly with the number of cores.
msullivan/charlie-game
msullivan/epicmix
msullivan/folly
An open-source C++ library developed and used at Facebook.
msullivan/hhvm-third-party
All of the dependencies that hhvm needs which don't have nice packages
msullivan/latexrun
A 21st century LaTeX wrapper
msullivan/rust
a safe, concurrent, practical language
msullivan/smoothie
Smoothie Charts: smooooooth JavaScript charts for realtime streaming data
msullivan/stilts
SML On Stilts
msullivan/TailBot
simple irc bot to tail log files and send output to channel(s)