Chris Martens (chrisamaphone)

chrisamaphone

Geek Repo

Company:Northeastern University

Home Page:https://convivial.tools

Github PK Tool:Github PK Tool


Organizations
cbv
clf

Chris Martens's repositories

ml-mukanren

microkanren in sml

Language:Standard MLStargazers:26Issues:5Issues:0

ceptre-tutorial

Tutorial materials for Ceptre.

comicgen

Comic generation sandbox

Language:TeXStargazers:9Issues:0Issues:0

compose2015

SML modules examples for the Compose 2015 Conference.

Language:Standard MLStargazers:2Issues:5Issues:0
Language:Standard MLStargazers:2Issues:0Issues:0
Language:Standard MLStargazers:2Issues:0Issues:0

declare

Interactive fiction in Standard ML.

Language:Standard MLStargazers:1Issues:0Issues:0

dissertation

CMU Ph.D. Dissertation

Language:TeXStargazers:1Issues:0Issues:0

llpv

Linear logic-based program verification

plateau2015-modules

Paper repository for PLATEAU paper on modules.

Language:TeXStargazers:1Issues:0Issues:0

procjam2014

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

Language:Standard MLStargazers:1Issues:0Issues:0

synchronous-hypertext

synchronous hypertext project

Language:JavaScriptStargazers:1Issues:0Issues:0
Stargazers:0Issues:0Issues:0
Language:JavaScriptStargazers:0Issues:3Issues:0
Language:JavaScriptStargazers:0Issues:0Issues:0
Language:TeXStargazers:0Issues:0Issues:0

group-conversation

A Ceptre model of group conversation.

Language:JavaStargazers:0Issues:0Issues:0

int-2014

Paper submission to Interactive Narrative Technology 2014

Language:TeXStargazers:0Issues:0Issues:0
Language:JavaScriptStargazers:0Issues:3Issues:0

kappaccino

Just playing around in Kappa, for now

Stargazers:0Issues:0Issues:0

papers-we-love

Papers from the computer science community to read and discuss.

Stargazers:0Issues:0Issues:0

plotjs

Infrastructure for developing interactive plots in the browser.

Language:JavaScriptStargazers:0Issues:4Issues:0

slimycat

Ludum Dare 31 project

Language:Standard MLLicense:GPL-3.0Stargazers:0Issues:0Issues:0

stl-llp

Strange Loop 2013 - Linear Logic Programming

Stargazers:0Issues:0Issues:0

structural-hypertext

Code for implementing, evaluating, and understanding hypertext as structured data in Standard ML.

Language:Standard MLStargazers:0Issues:0Issues:0

tinyrl

Tiny roguelite

Language:JavaScriptStargazers:0Issues:4Issues:0

tracery

Tracery: a story-grammar generation library for javascript

Language:JavaScriptLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:VimLStargazers:0Issues:0Issues:0