Rishikesh Vaishnav

@rish987

Open GitHub

🇫🇷 Paris

Profile age: about 10 years

Updated 11 days ago

11 followers • 3 following

Contacts

rishhvaishnav@gmail.com

rish987.github.io

Organizations

Repositories

trackswitch-manuform

updated over 2 years ago • age almost 3 years

Clojure93.5%

OpenSCAD4.7%

Shell1.8%

Lean4Less

updated 3 months ago • age 10 months

Lean100.0%

nvim-lspconfig-test

updated almost 4 years ago • age over 4 years

Lua70.9%

Shell21.9%

Lean4.4%

Makefile2.8%

Pokemon-NLP-Research-Project

updated over 7 years ago • age almost 8 years

Python87.3%

TeX12.7%

TSP-Visualizer-Greedy

updated almost 9 years ago • age about 9 years

Processing100.0%

Contributions

2025
mpl
1 PR +4-2
Lean
37
3
europroofnet.github.io
2 PRs +2-1
Ruby
13
66
2024
debugprint.nvim
1 PR +6-0
Lua
499
25
32
nvim-recorder
2 PRs +19-6
Lua
268
12
bmessages.nvim
2 PRs +21-0
Lua
58
3
europroofnet.github.io
1 PR +1-1
Ruby
13
66
2023
telescope.nvim
1 PR +2-2
Lua
18,500
920
9
neogit
1 PR +3-5
Lua
4,925
296
3
yatima
1 PR +1,027-1,201
Lean
139
10
RemarkableLamyEraser
3 PRs +677-372
C
96
11