K-QY

Pinned Repositories

• alternative-internet

  A collection of interesting new networks and tech aiming at decentralisation (in some form).

  81

• hyperbible

  The new revised international KJV-ASV-DRB-DBT-ERV-WBT-WEB-YET-AKJV-WNT version

  Language:HTML10201

• knotation

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

  Language:Haskell31302

• linear-logic

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

  Language:Coq19503

• notation

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

  1.8k802658

• part-of-speech

  a conversational interface for writing (with J. Juang) http://hypotext.co/part-of-speech

  Language:JavaScript70

• poemify

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

  Language:Haskell15301

• syntax

  Experiments with syntax and symbols

  Language:Haskell12200

• vst-crypto

  SHA-256 and HMAC specs and lemmas (from VST)

  Language:Coq2300

K-QY's Repositories