Bidirectional html/markdown synchroniser
A julia implementation of skip-gram word embedding model
a statically typed functional programming language
A collaborative editing plugin for Atom
A mutable region system
Minimal implementations for dependent type checking and elaboration
