Guest0x0 / coqouneView external linksLinks
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 4 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 2 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
- Construct complex structures within single call + simple compile-time meta-inheritance model with mixins.☆13Dec 12, 2023Updated 2 years ago
- Graphics buffer bridge for Maru OS.☆10Nov 21, 2020Updated 5 years ago
- Wee Entity Component System for Javascript☆11Feb 15, 2023Updated 3 years ago
- ☆13Jul 4, 2025Updated 7 months ago
- DateTime package for Lean 4☆17Feb 28, 2024Updated last year
- Easy typing of Unicode symbols in Emacs, tailored for Haskell sources☆14Sep 5, 2011Updated 14 years ago
- Bumblebee makes buffer commands fuzzier☆12Feb 5, 2015Updated 11 years 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
- A lisp inspired functional programming language which compiles to WebAssembly☆18Aug 14, 2024Updated last year
- Power Assert instrumentor from code to code, with SourceMap.☆13Dec 2, 2022Updated 3 years ago
- Make the 'new' keyword optional for ES6 classes☆12Mar 22, 2017Updated 8 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
- Bundle a glslify-deps dependency tree into a GLSL source string☆10Feb 7, 2021Updated 5 years ago
- Images in terminals☆10May 27, 2022Updated 3 years ago
- 🪄 Python lexer and tokenizer based on textmate grammars☆11Feb 9, 2026Updated last week
- Utilities to parse type information and JSDoc annotations from TypeScript source files, and render Markdown documentation☆12Jun 24, 2023Updated 2 years ago
- Mint + Tauri Starter Template☆13Aug 3, 2023Updated 2 years ago
- ☆19Apr 21, 2025Updated 9 months ago
- reactive state machines☆15Jan 7, 2023Updated 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
- Socket controlled canvas for your terminal.☆10Feb 19, 2024Updated last year
- 26-key, column-staggered, split keyboard☆13Dec 8, 2024Updated last year