Pinned Loading

1. trackswitch-manuform trackswitch-manuform Public

   A Hyper-Ergonomic Dactyl Manuform with a Clickable Trackball

   Clojure 34

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

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

   Lean 1.7k 291

3. neovim/neovim neovim/neovim Public

   Vim-fork focused on extensibility and usability

   Vim Script 96.8k 6.6k

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

   Neovim support for the Lean theorem prover

   Lua 482 45

5. nvim nvim Public

   My Neovim Dotfiles

   Lua 1