chrisamaphone/compose2015 chrisamaphone/compose2015

  • Stars
    star
    2
  • Language Standard ML
  • Created almost 10 years ago
  • Updated almost 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
chrisamaphone/compose2015
github

chrisamaphone

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

SML modules examples for the Compose 2015 Conference.

More 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

btl

Standard ML
2
star
17

monopoly

Monopoly in Celf
1
star
18

markov

Tiny Markov generator
JavaScript
1
star
19

nanogenmo2018

Standard ML
1
star
20

icfp2017-talk

1
star
21

narrative-planning-demo

1
star
22

comics-inferencing

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

ceptre-editor

JavaScript
1
star
24

synchronous-hypertext

synchronous hypertext project
JavaScript
1
star
25

dissertation

CMU Ph.D. Dissertation
TeX
1
star
26

talespin-tinker

Common Lisp
1
star
27

plateau2015-modules

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

learning-typescript

Sample project for learning TypeScript
TypeScript
1
star
29

declare

Interactive fiction in Standard ML.
Standard ML
1
star
30

llpv

Linear logic-based program verification
1
star
31

playscript

Generating scripts for plays
1
star
32

procjam2014

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

agda-type-refinement

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