Rishikesh Vaishnav's repositories
trackswitch-manuform
A Hyper-Ergonomic Dactyl Manuform with a Clickable Trackball
chair-mounted-mini-tables
Small chair-mounted tables to use with split keyboards
RemarkableLamyEraser
Turns the button on the Lamy Pen EMR into an eraser on the reMarkable – updated for 3.6.x.
remarkable-stylus
hack to get the button of a lamy pen working
batteries
The "batteries included" extended library for the Lean programming language and theorem prover
bmessages.nvim
Bmessages.nvim better :messages using an auto-updating buffer.
bufferline.nvim
A snazzy bufferline for Neovim
clipboard-sync
Synchronizes the clipboard across multiple X11 and wayland instances running on the same machine.
cmp-buffer
nvim-cmp source for buffer words
crouton
Chromium OS Universal Chroot Environment
debugprint.nvim
Debugging in NeoVim the print() way!
europroofnet.github.io
Sources of the EuroProofNet web site.
karen-yank.nvim
Neovim Lua plugin to improve register handling with delete, cut and yank mappings.
lean4
Lean 4 programming language and theorem prover
lean4checker
Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.
lean4lean
Lean 4 kernel / 'external checker' written in Lean 4
leap.nvim
Neovim's answer to the mouse 🦘
neogit
magit for neovim
nvim-cmp
A completion plugin for neovim coded in Lua.
nvim-recorder
Enhance the usage of macros in Neovim.
qmk_firmware_dm_r_track
Custom fork of QMK for the dm_r_track on Arduino Micro
resession.nvim
A replacement for mksession with a better API
sioyek
my sioyek config
telescope-repo.nvim
🦘 Jump into the repositories (git, mercurial…) of your filesystem with telescope.nvim, without any setup
telescope.nvim
Find, Filter, Preview, Pick. All lua, all the time.
toggleterm.nvim
A neovim lua plugin to help easily manage multiple terminal windows