archontophoenix/concurrencyIntroTalk
Talk on Introduction to Concurrency Formalisms. Given to Types, Theorems, and Programming Languages 26 January 2015.
Public GitHub Catalog
Discovered Sep 30, 2026
archontophoenix / hybridTypecheckingTalk
Slides from talk on hybrid typechecking, 24 March 2014
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#18129233GitHub System ID
archontophoenixOrganization / User
PublicVisibility
ActiveCatalog Status
More from archontophoenix
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