Pinned Loading

1. vscode-glspc vscode-glspc Public

   LSP client for any LSP server (provider for auto-complete, lint, hover, etc)

   TypeScript 11 4

2. instant_apply instant_apply Public

   proof-of-concept of Cursor's Instant Apply feature

   Python 83 16

3. neovim/neovim neovim/neovim Public

   Vim-fork focused on extensibility and usability

   Vim Script 91.3k 6.2k

4. leanprover-community/mathlib4 leanprover-community/mathlib4 Public

   The math library of Lean 4

   Lean 2.2k 656

5. leanprover-community/batteries leanprover-community/batteries Public

   The "batteries included" extended library for the Lean programming language and theorem prover

   Lean 318 123