Pinned Loading

1. vscode-glspc vscode-glspc Public

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

   TypeScript 12 4

2. instant_apply instant_apply Public

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

   Python 87 15

3. neovim/neovim neovim/neovim Public

   Vim-fork focused on extensibility and usability

   Vim Script 95.2k 6.5k

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

   The math library of Lean 4

   Lean 2.7k 959

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

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

   Lean 349 128