kai

Results 4 repositories owned by kai

notation

1.8k
Stars
58
Forks
Watchers

Collection of quotes on notation design & how it affects thought.

verified publisher icon kai-qu

knotation

31
Stars
3
Forks
Watchers

Strange Loop 2015 talk: knot notation, enumeration, and drawing

verified publisher icon kai-qu

linear-logic

20
Stars
3
Forks
Watchers

An encoding of linear logic in Coq with minimal Sokoban and blocks world examples

verified publisher icon kai-qu

poemify

15
Stars
1
Forks
Watchers

ever wanted to change water into wine? better: now you can change prose into poetry

verified publisher icon kai-qu