Pinned Loading

1. trackswitch-manuform trackswitch-manuform Public

   A Hyper-Ergonomic Dactyl Manuform with a Clickable Trackball

   Clojure 29

2. leanprover-community/mathlib3 leanprover-community/mathlib3 Public archive

   Lean 3's obsolete mathematical components library: please use mathlib4

   Lean 1.7k 298

3. neovim/neovim neovim/neovim Public

   Vim-fork focused on extensibility and usability

   Vim Script 84.4k 5.8k

4. Julian/lean.nvim Julian/lean.nvim Public

   Neovim support for the Lean theorem prover

   Lua 292 28

5. nvim nvim Public

   My Neovim Dotfiles

   Lua 1