Type Inference Zoo
September 26, 2023
Still in development. With this project, I will collect reference implementations of type inference algorithms, with particular emphasis on those features which are necessary for practical implementations, such as error reporting and incrementality.
Noteworthy
September 16, 2020
An open-source Markdown editor with bidirectional links and excellent math support!
ProseMirror Math
June 14, 2020
Schema and plugins for math editing using ProseMirror!