chrisamaphone/lf-class chrisamaphone/lf-class

  • Stars
    star
    2
  • Language
  • Created 10 months ago
  • Updated 10 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
chrisamaphone/lf-class
github

chrisamaphone

Reviews

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

Repository Details

Logical Frameworks Class

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

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