Chris Martens

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

290

ml-mukanren. microkanren in sml

27

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

19

lfinlf. Mechanized metatheory of LF in Twelf.

16

ceptre-tutorial. Tutorial materials for Ceptre.

15

lf-class. Logical Frameworks Class

12

comicgen. Comic generation sandbox

10

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

7

celf-tutorial.

7

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

5

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

4

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

3

deltalog. Standard ML

2

btl. Standard ML

2

compose2015. SML modules examples for the Compose 2015 Conference.

2

VillanelleCamelotDemo. TypeScript

2

nanogenmo2016. Standard ML

2

nanogenmo2018. Standard ML

2

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

2

narrative-causality. Narrative causality in Celf

2

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

1

talespin-tinker. Common Lisp

1

llpv. Linear logic-based program verification

1

learning-typescript. Sample project for learning TypeScript

1

narrative-planning-demo.

1

markov. Tiny Markov generator

1

icfp2017-talk.

1

monopoly. Monopoly in Celf

1

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

1

PLGradSchools.

1

ceptre-editor. JavaScript

1

dissertation. CMU Ph.D. Dissertation

1

playscript. Generating scripts for plays

1

csc582exhibit. HTML

1

synchronous-hypertext. synchronous hypertext project

1

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

1

Ostari. Practical Specification of Belief Manipulation in Games

1

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

1