chrisamaphone/nimi2vec chrisamaphone/nimi2vec

  • Stars
    star
    2
  • Language
    Python
  • Created almost 3 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
chrisamaphone/nimi2vec
github

chrisamaphone

Reviews

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

Repository Details

toki pona word vector embeddings, and games based thereupon

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

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