Chris Martens (@chrisamaphone)
github

chrisamaphone

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    381
  • Global Rank 73,190 (Top 3 %)
  • Followers 210
  • Following 37
  • Registered almost 14 years ago
  • Most used languages
    Standard ML     45.5 %
    JavaScript
         13.6 %
    TeX
         13.6 %
    TypeScript
         13.6 %
    Agda     4.5 %
    Python
         4.5 %
    Common Lisp
         4.5 %

Top repositories

1

interactive-lp

Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.
Standard ML
261
star
2

ml-mukanren

microkanren in sml
Standard ML
26
star
3

sestina

Tinkering with creating a functional programming language for procedural content generation.
Standard ML
18
star
4

lfinlf

Mechanized metatheory of LF in Twelf.
13
star
5

ceptre-tutorial

Tutorial materials for Ceptre.
13
star
6

comicgen

Comic generation sandbox
TeX
9
star
7

drinks

Drink recipes from the William/8/Chris repertoire.
7
star
8

celf-tutorial

7
star
9

nimi2vec

toki pona word vector embeddings, and games based thereupon
Python
2
star
10

narrative-causality

Narrative causality in Celf
2
star
11

deltalog

Standard ML
2
star
12

pandemic-ceptre

Ceptre model of the board game Pandemic.
2
star
13

nanogenmo2016

Standard ML
2
star
14

lf-class

Logical Frameworks Class
2
star
15

VillanelleCamelotDemo

TypeScript
2
star
16

compose2015

SML modules examples for the Compose 2015 Conference.
Standard ML
2
star
17

btl

Standard ML
2
star
18

monopoly

Monopoly in Celf
1
star
19

markov

Tiny Markov generator
JavaScript
1
star
20

nanogenmo2018

Standard ML
1
star
21

icfp2017-talk

1
star
22

narrative-planning-demo

1
star
23

comics-inferencing

Code related to generating comics that elicit inferencing in readers.
TypeScript
1
star
24

ceptre-editor

JavaScript
1
star
25

synchronous-hypertext

synchronous hypertext project
JavaScript
1
star
26

dissertation

CMU Ph.D. Dissertation
TeX
1
star
27

talespin-tinker

Common Lisp
1
star
28

plateau2015-modules

Paper repository for PLATEAU paper on modules.
TeX
1
star
29

learning-typescript

Sample project for learning TypeScript
TypeScript
1
star
30

declare

Interactive fiction in Standard ML.
Standard ML
1
star
31

llpv

Linear logic-based program verification
1
star
32

playscript

Generating scripts for plays
1
star
33

procjam2014

Materials for a #PROCJAM 2014 submission that extracts Twine games from CLF traces.
Standard ML
1
star
34

agda-type-refinement

Experiments encoding datasort (and potentially index) type refinements in Agda.
Agda
1
star