3 repositories on SrcLog
An implementation of the JSON Schema specification for Python
Neovim support for the Lean theorem prover
A text object to turn foo_bar_baz into foo_baz *and* quuxSpamEggs into quuxEggs *and* shine your shoes