Pinned Loading

1. vscode-glspc vscode-glspc Public

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

   TypeScript 8 2

2. instant_apply instant_apply Public

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

   Python 51 9

3. meta-hacker-cup-solver meta-hacker-cup-solver Public

   2024 entry for the open-source AI track of the Meta Hacker Cup coding contest

   C++

4. neovim/neovim neovim/neovim Public

   Vim-fork focused on extensibility and usability

   Vim Script 83.5k 5.7k

5. leanprover-community/mathlib4 leanprover-community/mathlib4 Public

   The math library of Lean 4

   Lean 1.6k 342

6. leanprover-community/batteries leanprover-community/batteries Public

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

   Lean 250 104