Pinned Loading

1. python-jsonschema/jsonschema python-jsonschema/jsonschema Public

   An implementation of the JSON Schema specification for Python

   Python 4.9k 611

2. lean.nvim lean.nvim Public

   Neovim support for the Lean theorem prover

   Lua 487 45

3. dotfiles dotfiles Public

   A work in progress. Forever.

   Perl 55 5

4. awesome-bugs awesome-bugs Public

   A collection of bizarre, funny or obscure bugs in our software and hardware

   144 8

5. vim-textobj-variable-segment vim-textobj-variable-segment Public

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

   Vim Script 161 15

6. til til Public

   Joining the TIL bandwagon

   CSS 8 2