rish987

rish987's Stars

• typst/typst

  A new markup-based typesetting system that is powerful and easy to learn.

  Language:Rust32.8k872.4k881

• qutebrowser/qutebrowser

  A keyboard-driven, vim-like browser based on Python and Qt.

  Language:Python9.6k1625.5k1k

• mhinz/neovim-remote

  :ok_hand: Support for --remote and friends.

  Language:Python1.7k1714683

• David-Kunz/gen.nvim

  Neovim plugin to generate text using LLMs with customizable prompts

  Language:Lua1.1k56782

• lean-dojo/LeanCopilot

  LLMs as Copilots for Theorem Proving in Lean

  Language:C++953123782

• cshuaimin/ssr.nvim

  Treesitter based structural search and replace plugin for Neovim.

  Language:Lua923102613

• chentoast/marks.nvim

  A better user experience for viewing and interacting with Vim marks.

  Language:Lua84046943

• andweeb/presence.nvim

  Discord Rich Presence for Neovim

  Language:Lua816611465

• toltec-dev/toltec

  Community-maintained repository of free software for the reMarkable tablet.

  Language:Shell7282023560

• robocasa/robocasa

  RoboCasa: Large-Scale Simulation of Everyday Tasks for Generalist Robots

  Language:Python50995836

• sindrets/winshift.nvim

  Rearrange your windows with ease.

  Language:Lua4675187

• otavioschwanck/arrow.nvim

  Bookmark your files, separated by project, and quickly navigate through them.

  Language:Lua46455022

• grapp-dev/nui-components.nvim

  A feature-rich and highly customizable library for creating user interfaces in Neovim.

  Language:Lua3045176

• lecopivo/SciLean

  Scientific computing in Lean 4

  Language:Lean299173325

• YaLTeR/wl-clipboard-rs

  A safe Rust crate for working with the Wayland clipboard.

  Language:Rust23582917

• lunarmodules/luassert

  Assertion library for Lua

  Language:Lua202155877

• Dingry/BunnyVisionPro

  Bimanual Dexterous Teleoperation with Real-Time Retargeting using VisionPro

  Language:Python1885712

• GeoCoq/GeoCoq

  A formalization of geometry in Coq based on Tarski's axiom system

  Language:Coq180181426

• anuvyklack/fold-preview.nvim

  Preview folds in float window

  Language:Lua127374

• leanprover/verso

  Lean documentation authoring tool

  Language:Lean113114513

• leanprover-community/ProofWidgets4

  Helper toolkit for creating your own Lean 4 UserWidgets

  Language:Lean10372024

• leanprover/LeanInk

  LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.

  Language:Lean60142716

• coq-tactician/coq-tactician

  A Seamless, Interactive Tactic Learner and Prover for Coq

  Language:OCaml5754821

• mong8se/actually.nvim

  A plugin to help load the file you actually meant to load.

  Language:Lua540

• arnamak/stay-centered.nvim

  A neovim plugin to keep your cursor at the center of the screen.

  Language:Lua47296

• b0o/blender.nvim

  🔶 Develop Blender Add-ons with Neovim

  Language:Lua40323

• affeldt-aist/coq-robot

  Mathematics of Rigid Body Transformationss using Coq and MathComp

  Language:Coq26642

• kmill/LeanTeX

  Lean 4 library for pretty printing expressions as LaTeX

  Language:Lean11413

• Deducteam/CoqInE

  A Coq plugin to translate Coq proofs into Dedukti terms.

  Language:OCaml74102

• TheoWinterhalter/ett-to-wtt

  Coq formalisation of a translation from (an) extensional type theory to (a) weak type theory

  Language:Coq6200