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!