The Nest
Explore
Sign in
4kusto
vie
ViE
Data
PieceTable
1
text editor inspired vim and yi
Code
Changes
Tags
Discussions
main
4kusto
update flake.nix: Basically, we are going to use lean4 from elan.
on March 9, 2026
Invariant.lean
missing files(ViETest.lean)
on March 8, 2026
Piece.lean
parallelize buffer edit queue paths, switch line lookup to tree-based traversal, and reduce large-file edit CPU spikes with lightweight content-version change detection
on February 19, 2026
Tree.lean
fix conflicts
on March 8, 2026