rish987 Goto Github PK
Name: Rishikesh Vaishnav
Type: User
Bio: CS PhD Student @ ENS Paris-Saclay
Location: Paris
Name: Rishikesh Vaishnav
Type: User
Bio: CS PhD Student @ ENS Paris-Saclay
Location: Paris
Source code of my personal archive. Latest image available below.
Utilities for building archives.
OpenAI Baselines: high-quality implementations of reinforcement learning algorithms
Bmessages.nvim better :messages using an auto-updating buffer.
A snazzy bufferline for Neovim
Small chair-mounted tables to use with split keyboards
A python application where a user can draw a symbol representing an ASCII character, enter what character they drew, and save the data representing their drawing.
Synchronizes the clipboard across multiple X11 and wayland instances running on the same machine.
nvim-cmp source for buffer words
Chromium OS Universal Chroot Environment
Dactyl Manuform with a Trackball in the right thumb cluster
Debugging in NeoVim the print() way!
A Lean version manager
Sources of the EuroProofNet web site.
parameterized headphone brace
Neovim motions on speed!
Neovim Lua plugin to improve register handling with delete, cut and yank mappings.
Attempting to formalize Bayesian Networks in Lean
neovim support for the Lean theorem prover
Lean 4 programming language and theorem prover
Lean 4 kernel / 'external checker' written in Lean 4
Exuberant Ctags patterns for use with Lean Theorem Prover.
Neovim's answer to the mouse 🦘
Lean mathematical components library
magit for neovim
Vim-fork focused on extensibility and usability
A simple number detector, implemented using both one-vs-all logistic regression and neural networks. Written in Python.
My Neovim Dotfiles
A completion plugin for neovim coded in Lua.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.