Rishikesh Vaishnav (rish987)

rish987

User data from Github https://github.com/rish987

Location:Paris

Home Page:rish987.github.io

GitHub:@rish987


Organizations
Deducteam

Rishikesh Vaishnav's repositories

trackswitch-manuform

A Hyper-Ergonomic Dactyl Manuform with a Clickable Trackball

Language:ClojureLicense:AGPL-3.0Stargazers:32Issues:1Issues:0

Lean4Less

A translation framework for eliminating definitional equalities in Lean

Language:LeanStargazers:13Issues:1Issues:0

chair-mounted-mini-tables

Small chair-mounted tables to use with split keyboards

Language:ClojureLicense:AGPL-3.0Stargazers:4Issues:1Issues:0

RemarkableLamyEraser

Turns the button on the Lamy Pen EMR into an eraser on the reMarkable – updated for 3.6.x.

Language:CLicense:GPL-3.0Stargazers:2Issues:1Issues:0

nvim

My Neovim Dotfiles

Language:LuaStargazers:1Issues:1Issues:0

remarkable-stylus

hack to get the button of a lamy pen working

Language:C++License:LGPL-3.0Stargazers:1Issues:0Issues:0

batteries

The "batteries included" extended library for the Lean programming language and theorem prover

License:Apache-2.0Stargazers:0Issues:0Issues:0

bmessages.nvim

Bmessages.nvim better :messages using an auto-updating buffer.

Language:LuaLicense:MITStargazers:0Issues:0Issues:0

bufferline.nvim

A snazzy bufferline for Neovim

License:GPL-3.0Stargazers:0Issues:0Issues:0

clipboard-sync

Synchronizes the clipboard across multiple X11 and wayland instances running on the same machine.

Language:RustStargazers:0Issues:0Issues:0

cmp-buffer

nvim-cmp source for buffer words

Language:LuaLicense:MITStargazers:0Issues:0Issues:0

crouton

Chromium OS Universal Chroot Environment

Language:ShellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

debugprint.nvim

Debugging in NeoVim the print() way!

License:MITStargazers:0Issues:0Issues:0

europroofnet.github.io

Sources of the EuroProofNet web site.

Language:RubyStargazers:0Issues:0Issues:0

hop.nvim

Neovim motions on speed!

Language:LuaLicense:NOASSERTIONStargazers:0Issues:1Issues:0

karen-yank.nvim

Neovim Lua plugin to improve register handling with delete, cut and yank mappings.

Language:LuaLicense:MITStargazers:0Issues:0Issues:0

lean4

Lean 4 programming language and theorem prover

Language:LeanLicense:Apache-2.0Stargazers:0Issues:0Issues:0

lean4checker

Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.

License:Apache-2.0Stargazers:0Issues:0Issues:0

lean4lean

Lean 4 kernel / 'external checker' written in Lean 4

Language:LeanStargazers:0Issues:0Issues:0

leap.nvim

Neovim's answer to the mouse 🦘

Language:FennelLicense:MITStargazers:0Issues:0Issues:0

neogit

magit for neovim

Language:LuaLicense:MITStargazers:0Issues:0Issues:0

nvim-cmp

A completion plugin for neovim coded in Lua.

Language:LuaLicense:MITStargazers:0Issues:0Issues:0

nvim-recorder

Enhance the usage of macros in Neovim.

Language:LuaLicense:MITStargazers:0Issues:0Issues:0

qmk_firmware_dm_r_track

Custom fork of QMK for the dm_r_track on Arduino Micro

Language:CLicense:GPL-2.0Stargazers:0Issues:0Issues:0

resession.nvim

A replacement for mksession with a better API

Language:LuaLicense:MITStargazers:0Issues:0Issues:0

sioyek

my sioyek config

Stargazers:0Issues:0Issues:0

sway

My Sway config (forked from https://forums.raspberrypi.com/viewtopic.php?t=334118)

Language:PythonStargazers:0Issues:1Issues:0

telescope-repo.nvim

🦘 Jump into the repositories (git, mercurial…) of your filesystem with telescope.nvim, without any setup

Language:LuaLicense:MITStargazers:0Issues:0Issues:0

telescope.nvim

Find, Filter, Preview, Pick. All lua, all the time.

Language:LuaLicense:MITStargazers:0Issues:0Issues:0

toggleterm.nvim

A neovim lua plugin to help easily manage multiple terminal windows

Language:LuaLicense:GPL-3.0Stargazers:0Issues:0Issues:0