rish987 Goto Github PK

archive

Source code of my personal archive. Latest image available below.

archiver

Utilities for building archives.

baselines

OpenAI Baselines: high-quality implementations of reinforcement learning algorithms

bmessages.nvim

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

bufferline.nvim

A snazzy bufferline for Neovim

chair-mounted-mini-tables

Small chair-mounted tables to use with split keyboards

character-drawer

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.

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

dactyl_manuform_r_track

Dactyl Manuform with a Trackball in the right thumb cluster

debugprint.nvim

Debugging in NeoVim the print() way!

elan

A Lean version manager

europroofnet.github.io

Sources of the EuroProofNet web site.

headphone-brace

parameterized headphone brace

hop.nvim

Neovim motions on speed!

karen-yank.nvim

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

lean-bayes

Attempting to formalize Bayesian Networks in Lean

lean.nvim

neovim support for the Lean theorem prover

lean4

Lean 4 programming language and theorem prover

lean4-metaprogramming-book

lean4lean

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

lean_ctags

Exuberant Ctags patterns for use with Lean Theorem Prover.

leap.nvim

Neovim's answer to the mouse 🦘

mathlib

Lean mathematical components library

neogit

magit for neovim

neovim

Vim-fork focused on extensibility and usability

number-detector

A simple number detector, implemented using both one-vs-all logistic regression and neural networks. Written in Python.

nvim

My Neovim Dotfiles

nvim-cmp

A completion plugin for neovim coded in Lua.