CoqIDE-like experience for kakoune
☆10Nov 8, 2022Updated 3 years ago
Alternatives and similar repositories for coqoune
Users that are interested in coqoune are comparing it to the libraries listed below
Sorting:
- Run the kakoune text editor in your browser!☆10Jan 6, 2023Updated 3 years ago
- Preview face colors in kakoune☆24Sep 16, 2019Updated 6 years ago
- Smooth scrolling for Kakoune with inertial movement☆25Oct 15, 2025Updated 4 months ago
- gdb integration plugin☆58Jan 31, 2025Updated last year
- Commands to create predictable client with i3 window manager☆15Oct 4, 2020Updated 5 years ago
- Select up and down lines that match the same pattern☆35Apr 20, 2023Updated 2 years ago
- Configure and control Kakoune from python | Hosts a Kakoune Language Server Protocol implementation too for now☆17Mar 28, 2018Updated 7 years ago
- A natural language date-time parser for the command-line☆18Aug 24, 2021Updated 4 years ago
- Highlight parentheses in kakoune☆16Mar 7, 2021Updated 5 years ago
- Connect a program to Kakoune clients☆89Oct 20, 2022Updated 3 years ago
- View and navigate files☆28Dec 2, 2023Updated 2 years ago
- Script Kakoune using Lua☆57Dec 4, 2025Updated 3 months ago
- Ease navigation between opened buffers☆70Sep 28, 2023Updated 2 years ago
- A Kakoune-based mergetool for Git☆39Jul 10, 2023Updated 2 years ago
- Typed binary parsing for typescript☆16Sep 4, 2023Updated 2 years ago
- Coqpit.vim brings the interactivity and asynchronous into your Vim and Neovim.☆10Nov 1, 2022Updated 3 years ago
- Structural selections for Kakoune☆101Sep 7, 2022Updated 3 years ago
- Utilities to parse type information and JSDoc annotations from TypeScript source files, and render Markdown documentation☆12Jun 24, 2023Updated 2 years ago
- Library for proving propositions quantified over finite sets☆14Sep 21, 2022Updated 3 years ago
- ZMK Firmware Repository☆10Aug 1, 2024Updated last year
- Easy typing of Unicode symbols in Emacs, tailored for Haskell sources☆14Sep 5, 2011Updated 14 years ago
- Editor for normalising learner texts (error annotation and tagging.)☆10Sep 4, 2025Updated 6 months ago
- A framework for linking the DOM and DOM based events with scripting languages compiled to WASM. Part of the PyScript project.☆12Oct 1, 2024Updated last year
- Construct complex structures within single call + simple compile-time meta-inheritance model with mixins.☆13Dec 12, 2023Updated 2 years ago
- Bumblebee makes buffer commands fuzzier☆12Feb 5, 2015Updated 11 years ago
- DateTime package for Lean 4☆17Feb 28, 2024Updated 2 years ago
- This project aims to collect rich metadata information about IUP's elements, enabling code-gen tools to create type-checked bindings for …☆11Mar 23, 2023Updated 2 years ago
- A pure-rust implementation of the GVariant serialisation format☆13Jul 7, 2025Updated 8 months ago
- Tiled Map Editor *.tmx files parser☆12Jan 21, 2026Updated last month
- ☆13Jul 4, 2025Updated 8 months ago
- Mint + Tauri Starter Template☆13Aug 3, 2023Updated 2 years ago
- Wee Entity Component System for Javascript☆11Feb 15, 2023Updated 3 years ago
- ☆11Dec 17, 2021Updated 4 years ago
- Ineluctable Overlay offers a repository of Gentoo ebuilds for projects that I am interested in, or are not yet available through Portage …☆11Nov 3, 2021Updated 4 years ago
- Socket controlled canvas for your terminal.☆10Feb 19, 2024Updated 2 years ago
- 26-key, column-staggered, split keyboard☆13Dec 8, 2024Updated last year
- Convenient way to support polling in your Redux app so you can focus on the business logic☆12Nov 11, 2018Updated 7 years ago
- Splash screen for the Kakoune editor☆10Oct 21, 2025Updated 4 months ago
- Thick strings optimised for indexing and updating using UTF-16 code units and row/column pairs☆14Jan 14, 2022Updated 4 years ago