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 83.4k 5.7k

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

   Neovim support for the Lean theorem prover

   Lua 278 27

5. nvim nvim Public

   My Neovim Dotfiles

   Lua 1