Bidirectional html/markdown synchroniser
A julia implementation of skip-gram word embedding model
A mutable region system
Mechanization of Synthetic Tait Computability in Istari
Minimal implementations for dependent type checking and elaboration
An **unofficial** template for Amazon Research Awards (ARA) proposal
