Pinned Loading

1. vscode-glspc vscode-glspc Public

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

   TypeScript 6 2

2. neovim/neovim neovim/neovim Public

   Vim-fork focused on extensibility and usability

   Vim Script 81.6k 5.6k

3. leanprover-community/mathlib4 leanprover-community/mathlib4 Public

   The math library of Lean 4

   Lean 1.4k 304

4. leanprover-community/batteries leanprover-community/batteries Public

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

   Lean 232 95

5. ml-papers ml-papers Public

   toy implementations of whatever papers / products I happen to be looking at

   Python

6. instant_apply instant_apply Public

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

   Python 1