Chris Martens's starred repositories
ThinkEngine
A Unity asset for a tight integration of AI in games: asset, showcase, web page.
there-are-stars
A self-generating story that gets longer the more stars it gets
tokipona.parser
A Toki Pona Parser
linear-logic-multiset-rewriting
Logic for story telling!
comics-inferencing
Code related to generating comics that elicit inferencing in readers.
proofsweeper
Play Minesweeper by formally proving your moves in Idris
phonetic-similarity-vectors
Source code to accompany my paper "Poetic sound similarity vectors using phonetic features"
research-group-resources
Resources for people running research groups.
synchronous-hypertext
synchronous hypertext project
functioning
Functioning: A Game Framework based on SDL for Standard ML
timebadgers
This is a game we made for a game jam of some kind in 2010. I can no longer remember which one. I'm pretty sure it's unfinished. And I think most of us had never used git before.