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
- Coqpit.vim brings the interactivity and asynchronous into your Vim and Neovim.☆10Nov 1, 2022Updated 3 years ago
- Typed binary parsing for typescript☆16Sep 4, 2023Updated 2 years ago
- Structural selections for Kakoune☆101Sep 7, 2022Updated 3 years ago
- DateTime package for Lean 4☆17Feb 28, 2024Updated 2 years ago
- Efficient MeTTa language implementation in Prolog.☆20Updated this week
- Utilities to parse type information and JSDoc annotations from TypeScript source files, and render Markdown documentation☆12Jun 24, 2023Updated 2 years ago
- ☆11Dec 17, 2021Updated 4 years ago
- A pure-rust implementation of the GVariant serialisation format☆13Jul 7, 2025Updated 8 months ago
- Power Assert instrumentor from code to code, with SourceMap.☆13Dec 2, 2022Updated 3 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
- Editor for normalising learner texts (error annotation and tagging.)☆10Sep 4, 2025Updated 6 months ago
- Model-Based Testing Workshop☆10Jan 4, 2023Updated 3 years ago
- Easy typing of Unicode symbols in Emacs, tailored for Haskell sources☆14Sep 5, 2011Updated 14 years ago
- ZMK Firmware Repository☆10Aug 1, 2024Updated last year
- A relational logic programming language embedded in Rust.☆12Aug 15, 2025Updated 6 months ago
- Library for proving propositions quantified over finite sets☆14Sep 21, 2022Updated 3 years ago
- Graphics buffer bridge for Maru OS.☆10Nov 21, 2020Updated 5 years ago
- Splash screen for the Kakoune editor☆10Oct 21, 2025Updated 4 months ago
- Bundle a glslify-deps dependency tree into a GLSL source string☆10Feb 7, 2021Updated 5 years ago
- Make the 'new' keyword optional for ES6 classes☆12Mar 22, 2017Updated 8 years ago
- 🪄 Python lexer and tokenizer based on textmate grammars☆11Mar 2, 2026Updated last week
- Images in terminals☆10May 27, 2022Updated 3 years ago
- Thick strings optimised for indexing and updating using UTF-16 code units and row/column pairs☆14Jan 14, 2022Updated 4 years ago
- Wee Entity Component System for Javascript☆11Feb 15, 2023Updated 3 years ago
- Loading MagicaVoxel models in Three.js☆10Jan 27, 2022Updated 4 years ago