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