Chris Martens

interactive-lp. Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.

ml-mukanren. microkanren in sml

sestina. Tinkering with creating a functional programming language for procedural content generation.

lfinlf. Mechanized metatheory of LF in Twelf.

ceptre-tutorial. Tutorial materials for Ceptre.

lf-class. Logical Frameworks Class

comicgen. Comic generation sandbox

drinks. Drink recipes from the William/8/Chris repertoire.

celf-tutorial.

abstract-pointer-trees. abstract binding trees in c, with pointers

nimi2vec. toki pona word vector embeddings, and games based thereupon

agda-type-refinement. Experiments encoding datasort (and potentially index) type refinements in Agda.

deltalog. Standard ML

btl. Standard ML

compose2015. SML modules examples for the Compose 2015 Conference.

VillanelleCamelotDemo. TypeScript

nanogenmo2016. Standard ML

nanogenmo2018. Standard ML

pandemic-ceptre. Ceptre model of the board game Pandemic.

narrative-causality. Narrative causality in Celf

procjam2014. Materials for a #PROCJAM 2014 submission that extracts Twine games from CLF traces.

talespin-tinker. Common Lisp

llpv. Linear logic-based program verification

learning-typescript. Sample project for learning TypeScript

narrative-planning-demo.

markov. Tiny Markov generator

icfp2017-talk.

monopoly. Monopoly in Celf

plateau2015-modules. Paper repository for PLATEAU paper on modules.

PLGradSchools.

ceptre-editor. JavaScript

dissertation. CMU Ph.D. Dissertation

playscript. Generating scripts for plays

csc582exhibit. HTML

synchronous-hypertext. synchronous hypertext project

comics-inferencing. Code related to generating comics that elicit inferencing in readers.

Ostari. Practical Specification of Belief Manipulation in Games

polarity-focusing-notes. Course notes for CS 7480 Polarity and Focusing at Northeastern.