Quickscope port for IdeaVIM
☆29Jan 6, 2026Updated 3 months ago
Alternatives and similar repositories for ideavim-quickscope
Users that are interested in ideavim-quickscope are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- History extension for Webkit-based browsers.☆20Jul 14, 2024Updated last year
- fast utf-8 character sets☆14Mar 3, 2025Updated last year
- Blocks is a plugin for mdbook which preprocesses "Blocks" based markdown into beautiful Bootstrap components.☆11Jun 15, 2024Updated last year
- Typeclasses for representing monad (transformer) morphisms☆14Oct 21, 2018Updated 7 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆18Aug 19, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- A Zellij plugin to easily test themes with the built-in UI components☆21Dec 26, 2024Updated last year
- dot.conf configuration file parser☆28Apr 9, 2024Updated 2 years ago
- the 'invariant' Haskell package for invariant functors☆16Jan 10, 2026Updated 3 months ago
- 🦁 Soothing pastel theme for Brave Search☆12Jul 22, 2023Updated 2 years ago
- A desktop app that to create bibliography citations☆10Jan 3, 2023Updated 3 years ago
- Awk-like tool using python☆11Aug 4, 2020Updated 5 years ago
- 🌈 Soothing pastel theme for Prism.js☆12Mar 7, 2025Updated last year
- A HttpClient manager that allows cool stuff to happen☆11Jan 2, 2018Updated 8 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Neovim Lua plugin with common configuration presets for options, mappings, and autocommands. Part of 'mini.nvim' library.☆16Apr 3, 2026Updated 3 weeks ago
- 👩💻 Soothing pastel theme for Replit☆12Feb 6, 2023Updated 3 years ago
- The home for all my starter haskell code from day 1 :)☆12Feb 3, 2023Updated 3 years ago
- Socks proxy library for haskell☆19Aug 23, 2022Updated 3 years ago
- Provides Data.Void, which is in base since ghc 7.8 or so☆20Dec 8, 2025Updated 4 months ago
- The virtual console embedded in rCore kernel.☆11May 6, 2025Updated 11 months ago
- Just a little guy living in a big world☆11Apr 11, 2025Updated last year
- ☆11May 23, 2020Updated 5 years ago
- Soothing pastel theme for Nim☆14Apr 13, 2026Updated 2 weeks ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆11May 27, 2017Updated 8 years ago
- Haskell portable POSIX-compatibility layer☆21Dec 1, 2022Updated 3 years ago
- 🕊 Soothing pastel theme for Cinny☆13Jul 22, 2023Updated 2 years ago
- 🌈 Soothing pastel colors for Pantone☆19Apr 15, 2026Updated 2 weeks ago
- 📦 Soothing pastel PKGBUILDs for the AUR☆11Apr 18, 2026Updated last week
- A Xamarin Studio Addin to find your MD5 and SHA1 signatures of your .keystore files☆11May 16, 2019Updated 6 years ago
- ☆13Apr 3, 2023Updated 3 years ago
- Uniform interface to reified data type information via Template Haskell☆20Jan 10, 2026Updated 3 months ago
- Obsidian: Custom display of Props in a Side Panel☆12Jul 16, 2024Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- 🕸️ Soothing pastel theme for Spyder IDE☆14Mar 30, 2025Updated last year
- A Lisp bytecode interpreter for ZX-Spectrum☆16Jul 3, 2018Updated 7 years ago
- NIF is a text based data format designed for compiler frontend/backend communication or communication between different programming langu…☆15Updated this week
- 🌟 Soothing pastel theme for Nova☆15Jun 1, 2024Updated last year
- A mocking library capable of mocking .NET and .NET Core static methods☆11Oct 24, 2016Updated 9 years ago
- ☆12Dec 7, 2018Updated 7 years ago
- phantom types☆40Apr 8, 2026Updated 3 weeks ago