chrisamaphone/celf-tutorial chrisamaphone/celf-tutorial

  • Stars
    star
    7
  • Rank 2,294,772 (Top 46 %)
  • Language
  • Created almost 9 years ago
  • Updated almost 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
chrisamaphone/celf-tutorial
github

chrisamaphone

Reviews

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

Repository Details

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

nimi2vec

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

narrative-causality

Narrative causality in Celf
2
star
10

deltalog

Standard ML
2
star
11

pandemic-ceptre

Ceptre model of the board game Pandemic.
2
star
12

nanogenmo2016

Standard ML
2
star
13

lf-class

Logical Frameworks Class
2
star
14

VillanelleCamelotDemo

TypeScript
2
star
15

compose2015

SML modules examples for the Compose 2015 Conference.
Standard ML
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