archontophoenix/concurrencyIntroTalk
Talk on Introduction to Concurrency Formalisms. Given to Types, Theorems, and Programming Languages 26 January 2015.
Developer Profile
archontophoenix
Discovered public repositories for archontophoenix in the GitHub catalog.
archontophoenix/pokerHands
Calculates frequencies for poker hands in unconventional decks, like Tarot decks.
archontophoenix/subtypingTalk
Subtyping talk given at SF Types, Theorems, and Programming Languages 20 October 2014
archontophoenix/syntaxTalk
Slides and code from talk on 11 August 2014
archontophoenix/typeInferenceTalk
Slides and code for talk on type inference, 30 June 2014
archontophoenix/hybridTypecheckingTalk
Slides from talk on hybrid typechecking, 24 March 2014
archontophoenix/chessVariants
Public repository.
archontophoenix/spamFilterChallenge
Spam filter challenge for Scala Study Group on meetup.com.
archontophoenix/pretty
Scala prettyprinter