msullivan/stilts
SML On Stilts
Developer Profile
msullivan
Discovered public repositories for msullivan in the GitHub catalog.
msullivan/rust
a safe, concurrent, practical language
msullivan/TailBot
simple irc bot to tail log files and send output to channel(s)
msullivan/ollibot
An implementation of substructural intuitionistic logic focused on forward chaining
msullivan/bovik-papers
Public repository.
msullivan/godels-t
Formalization of a bunch of properties of Godel's System T in agda
msullivan/LazyK
Updated LazyK source distribution
msullivan/he-man
Haskell Event Manager, Apropos Networking
msullivan/sml-util
A handful of potentially useful crap for Standard ML