PinnedLoading

1. python-jsonschema/jsonschemapython-jsonschema/jsonschemaPublic

   An implementation of the JSON Schema specification for Python

   Python 4.9k 601

2. lean.nvimlean.nvimPublic

   Neovim support for the Lean theorem prover

   Lua 424 39

3. dotfilesdotfilesPublic

   A work in progress. Forever.

   Perl 56 5

4. awesome-bugsawesome-bugsPublic

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

   145 8

5. vim-textobj-variable-segmentvim-textobj-variable-segmentPublic

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

   Vim Script 161 15

6. tiltilPublic

   Joining the TIL bandwagon

   CSS 8 2