rish987

CS PhD Student @ ENS Paris-Saclay

Paris

Pinned Repositories

lean.nvim
neovim support for the Lean theorem prover
Language:Lua258 7 17525
mathlib3
Lean 3's obsolete mathematical components library: please use mathlib4
Language:Lean1.7k 52 362298
neovim
Vim-fork focused on extensibility and usability
Language:Vim Script81.9k 976 11.7k5.6k
chair-mounted-mini-tables
Small chair-mounted tables to use with split keyboards
Language:Clojure4 1 00
nvim
My Neovim Dotfiles
Language:Lua1 1 00
nvim-lspconfig-test
Language-specific integration testing of nvim+LSP via neovim/nvim-lspconfig (intend to upstream to nvim-lua)
Language:Lua2 2 501
Pokemon-NLP-Research-Project
Research project for understanding entities and relationships in the Pokemon universe using natural language processing.
Language:Python2 2 00
remarkable-stylus
hack to get the button of a lamy pen working
Language:C++1 0 00
RemarkableLamyEraser
Turns the button on the Lamy Pen EMR into an eraser on the reMarkable – updated for 3.6.x.
Language:C2 1 00
trackswitch-manuform
A Hyper-Ergonomic Dactyl Manuform with a Clickable Trackball
Language:Clojure29 1 00

rish987's Repositories

rish987/trackswitch-manuform
A Hyper-Ergonomic Dactyl Manuform with a Clickable Trackball
Language:Clojure29 1 00
rish987/chair-mounted-mini-tables
Small chair-mounted tables to use with split keyboards
Language:Clojure4 1 00
rish987/RemarkableLamyEraser
Turns the button on the Lamy Pen EMR into an eraser on the reMarkable – updated for 3.6.x.
Language:C2 1 00
rish987/nvim
My Neovim Dotfiles
Language:Lua1 1 00
rish987/remarkable-stylus
hack to get the button of a lamy pen working
Language:C++1 0 00
rish987/bmessages.nvim
Bmessages.nvim better :messages using an auto-updating buffer.
Language:Lua
rish987/bufferline.nvim
A snazzy bufferline for Neovim
rish987/clipboard-sync
Synchronizes the clipboard across multiple X11 and wayland instances running on the same machine.
Language:Rust0 0
rish987/cmp-buffer
nvim-cmp source for buffer words
Language:Lua0 0
rish987/crouton
Chromium OS Universal Chroot Environment
Language:Shell0 0
rish987/dactyl_manuform_r_track
Dactyl Manuform with a Trackball in the right thumb cluster
Language:OpenSCAD0 0
rish987/debugprint.nvim
Debugging in NeoVim the print() way!
rish987/europroofnet.github.io
Sources of the EuroProofNet web site.
Language:Ruby0 0
rish987/headphone-brace
parameterized headphone brace
Language:Clojure1 0
rish987/hop.nvim
Neovim motions on speed!
Language:Lua1 0
rish987/karen-yank.nvim
Neovim Lua plugin to improve register handling with delete, cut and yank mappings.
Language:Lua
rish987/lean4
Lean 4 programming language and theorem prover
Language:Lean
rish987/lean4lean
Lean 4 kernel / 'external checker' written in Lean 4
Language:Lean0 0
rish987/leap.nvim
Neovim's answer to the mouse 🦘
Language:Fennel0 0
rish987/neogit
magit for neovim
Language:Lua0 0
rish987/nvim-cmp
A completion plugin for neovim coded in Lua.
Language:Lua0 0
rish987/nvim-lspconfig
Quickstart configurations for the Nvim LSP client
Language:Lua1 0
rish987/nvim-recorder
Enhance the usage of macros in Neovim.
Language:Lua0 0
rish987/qmk_firmware_dm_r_track
Custom fork of QMK for the dm_r_track on Arduino Micro
Language:C0 0
rish987/resession.nvim
A replacement for mksession with a better API
Language:Lua0 0
rish987/sioyek
my sioyek config
rish987/sway
My Sway config (forked from https://forums.raspberrypi.com/viewtopic.php?t=334118)
Language:Python1 0
rish987/telescope-repo.nvim
🦘 Jump into the repositories (git, mercurial…) of your filesystem with telescope.nvim, without any setup
Language:Lua0 0
rish987/telescope.nvim
Find, Filter, Preview, Pick. All lua, all the time.
Language:Lua0 0
rish987/toggleterm.nvim
A neovim lua plugin to help easily manage multiple terminal windows
Language:Lua0 0