The Nest
Explore
Sign in
4kusto
vie
ViE
UI
0
text editor inspired vim and yi
Code
Changes
Tags
Discussions
main
4kusto
fix explorer target-window selection after wincmd, persist target across explorer refresh/navigation, and align TreeStats height invariant with append-optimized trees
2 days ago
Overlay.lean
make tab-stop behavior cursor-accurate, harden key parsing, and strengthen piece-tree termination proofs
on February 8, 2026
Primitives.lean
add buffer explorer, improve UI and normalize explorer command names
on February 8, 2026
Render.lean
make tab-stop behavior cursor-accurate, harden key parsing, and strengthen piece-tree termination proofs
on February 8, 2026
Search.lean
eliminate partial defs, add termination proofs, and make app loop iterative
on February 8, 2026
Window.lean
make tab-stop behavior cursor-accurate, harden key parsing, and strengthen piece-tree termination proofs
on February 8, 2026