Enrico Borba

intuitive. A library for building declarative text-based user interfaces

216

tabs.kak. Kakoune buffers as tabs in the status line.

29

popup.kak. Kakoune popup plugin

28

tree-sitter.kak. tree-sitter server for kakoune

20

logic. Lean 4 logic

9

auto-context. Auto-add context to anyhow errors

9

python-crn. Chemical Reaction Networks Simulator

7

SwifterString. A sane way to use strings in Swift

7

cymbal. show all symbols (funcs, classes, etc.) in a codebase

7

picogpt-rust. picoGPT in Rust

6

rmtemplates-frontend. rm.ezb.io - reMarkable template sharer

5

symbol-search.kak. C++

5

enricozb.github.io. HTML

4

lean.nix. Build lean projects with nix

3

voter-turnout-prediction. Using machine learning to predict voter turnouts

3

mollusk. 🐠 + 🐚 = 🌈 : fish + xonsh = everything nice

3

buffon-lean. buffon's needle in lean 4

3

lean.kak. Minimal Lean syntax highlighting, intermediate evaluation, and LaTeX completions

3

cursors.kak. Sublime-like multiple cursors behavior for kakoune

2

tittle. Dotfile manager with machine-specific configuration

2

llm.kak. KakouneScript

2

myth-lang. Just a toy language -- Learning how to use PLY/yacc

2

XaTeLite. Latex over SSH + HTTP

2

typst.kak. KakouneScript

1

wiki.kak. Kakoune markdown file navigation and wiki system

1

abbreviations.kak. KakouneScript

1

memfs. Rust

1

neovim-setup. Vim Script

1

beancount.kak. A basic syntax highlighter for beancount files

1

web-template. preact, typescript, tailwindcss

1

fixpoint-itt. Interaction Type Theory based on fixed points

1

dotfiles. KakouneScript

1