Michael J. Sullivan

icon indicating a website link https://www.msully.net/

icon company EdgeDB

Results 3 repositories owned by Michael J. Sullivan

LazyK

17
Stars
5
Forks
Watchers

Updated LazyK source distribution

verified publisher icon msullivan

sml-util

19
Stars
2
Forks
Watchers

A handful of potentially useful crap for Standard ML

verified publisher icon msullivan

typecoin

18
Stars
1
Forks
Watchers

Typecoin: Massively Multiplayer Online Linear Logic

verified publisher icon msullivan