tomtomjhj / vsrocq.nvimView external linksLinks
A Neovim client for VsCoq 2 vscoqtop.
☆11Nov 8, 2025Updated 3 months ago
Alternatives and similar repositories for vsrocq.nvim
Users that are interested in vsrocq.nvim are comparing it to the libraries listed below
Sorting:
- Neovim client for coq-lsp☆30Sep 26, 2025Updated 4 months ago
- Coq code formatter☆24Jan 22, 2026Updated 3 weeks ago
- A Rust hashconsing library.☆38Jul 15, 2024Updated last year
- ☆39Dec 4, 2025Updated 2 months ago
- Mpv script to create clips of the current file☆13Oct 10, 2017Updated 8 years ago
- ☆12May 26, 2025Updated 8 months ago
- 👋 get to know me through my personal website!☆10Aug 8, 2025Updated 6 months ago
- With one whole audio and corresponding text, the audio can be split line by line and saved with exact sentence using comparison with the …☆10Feb 28, 2019Updated 6 years ago
- Read and Write files as root in neovim☆11Updated this week
- Provides support for after/colors/ scripts (Mirrors Peter Hodge's AfterColors.vim on vim.org)☆11May 7, 2017Updated 8 years ago
- Better slock with clean keypress feedback☆10Nov 21, 2025Updated 2 months ago
- Quickly insert image in neovim☆10May 11, 2024Updated last year
- A Logical Relation for Martin-Löf Type Theory in Agda☆10Jul 31, 2025Updated 6 months ago
- have a keybind in nvim for :only that also works for tmux panes☆10Jun 18, 2024Updated last year
- Xiaomi Mi 9 AI Button Remapper☆11Feb 21, 2021Updated 4 years ago
- Collection of interesting patterns, inspired by nature, powered by p5js☆10Jun 2, 2018Updated 7 years ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Feb 3, 2026Updated last week
- Hi! Thank you for coming! Here you'll learn about Fog of War, its origins its uses and how to implement it. The code implementation that …☆13Sep 9, 2019Updated 6 years ago
- Bibata Cursor, with support for hyprcursor and Xcursor☆19Jan 28, 2025Updated last year
- Installs Smart Pack Kernel Manager https://github.com/SmartPack/SmartPack-Kernel-Manager as a systemless app.☆13May 1, 2025Updated 9 months ago
- ☆12May 30, 2024Updated last year
- A collection of functions to control how the screen is positioned around the cursor.☆11Aug 23, 2024Updated last year
- たのしいシンセサイザー☆10Feb 5, 2022Updated 4 years ago
- A small library to parse tar and tar.gz files using only javascript☆14Jan 5, 2026Updated last month
- 认证的公益服务器 / Certificated nonprofit servers☆14May 15, 2019Updated 6 years ago
- Wrapper scripts to make documentation easier☆13Jan 27, 2026Updated 2 weeks ago
- an arithmetic library for OCaml’s native integers☆11Jun 30, 2024Updated last year
- Basic demo of OCaml's PPX feature.☆10Mar 22, 2015Updated 10 years ago
- Personal blog of ENvironmentSet based on oversomething.☆14Oct 29, 2024Updated last year
- Machine-checked Agda formalization for the ILC project☆15Apr 6, 2018Updated 7 years ago
- Mirai bot, but reconstructed for private use☆13Mar 15, 2023Updated 2 years ago
- Minecraft 公益服务器公约 / The convention of nonprofit Minecraft servers.☆10Mar 27, 2019Updated 6 years ago
- ☆10Feb 7, 2026Updated last week
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- GADT-based field accessors and utilities☆17Jan 15, 2026Updated 3 weeks ago
- latex class for manuals☆11Sep 10, 2024Updated last year
- Swift lambda calculus functions supporting intensional equality☆12Jun 19, 2016Updated 9 years ago
- 🧮 Polynomial Calculator☆12Jan 3, 2023Updated 3 years ago
- Interactive Coq Proofs in Vim☆314Updated this week