chrisamaphone/int-2014
Paper submission to Interactive Narrative Technology 2014
Developer Profile
chrisamaphone
Discovered public repositories for chrisamaphone in the GitHub catalog.
chrisamaphone/stl-llp
Strange Loop 2013 - Linear Logic Programming
chrisamaphone/monopoly
Monopoly in Celf
chrisamaphone/narrative-causality
Narrative causality in Celf
chrisamaphone/talk-mentorship
talk-mentorship
chrisamaphone/declare
Interactive fiction in Standard ML.
chrisamaphone/interactive-lp
Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.
chrisamaphone/lfinlf
Mechanized metatheory of LF in Twelf.