Julian

Julian

👤 Developer

3 repositories on SrcLog

View on GitHub
3 Repos
5.8k Stars
801 Forks
61 Watchers

🏆 Show off this rank

Julian on SrcLog (holo style)

Add it to a GitHub README or profile — the card updates as the ranking changes:

Repositories (3)

jsonschema python-jsonschema/jsonschema Python

An implementation of the JSON Schema specification for Python

5k
lean.nvim Julian/lean.nvim Lua

Neovim support for the Lean theorem prover

622
vim-textobj-variable-segment Julian/vim-textobj-variable-segment Vim Script

A text object to turn foo_bar_baz into foo_baz *and* quuxSpamEggs into quuxEggs *and* shine your shoes

160