The Nest
Explore
Sign in
4kusto
vie
ViETest
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
PieceTable
test: rename Test modules to ViETest and remove dead code
on March 7, 2026
test_paths
test: rename Test modules to ViETest and remove dead code
on March 7, 2026
Benchmark.lean
test: rename Test modules to ViETest and remove dead code
on March 7, 2026
Buffer.lean
test: rename Test modules to ViETest and remove dead code
on March 7, 2026
Checkpoint.lean
test: rename Test modules to ViETest and remove dead code
on March 7, 2026
CursorReproduction.lean
test: rename Test modules to ViETest and remove dead code
on March 7, 2026
ExplorerPreview.lean
test: rename Test modules to ViETest and remove dead code
on March 7, 2026
InfoView.lean
test: rename Test modules to ViETest and remove dead code
on March 7, 2026
Integration.lean
test: rename Test modules to ViETest and remove dead code
on March 7, 2026
Keybinds.lean
test: rename Test modules to ViETest and remove dead code
on March 7, 2026
Layout.lean
test: rename Test modules to ViETest and remove dead code
on March 7, 2026
Lsp.lean
test: rename Test modules to ViETest and remove dead code
on March 7, 2026
MissingEol.lean
test: rename Test modules to ViETest and remove dead code
on March 7, 2026
Mode.lean
test: rename Test modules to ViETest and remove dead code
on March 7, 2026
PasteReproduction.lean
test: rename Test modules to ViETest and remove dead code
on March 7, 2026
PreviewData.lean
test: rename Test modules to ViETest and remove dead code
on March 7, 2026
Scroll.lean
test: rename Test modules to ViETest and remove dead code
on March 7, 2026
SearchHighlight.lean
test: rename Test modules to ViETest and remove dead code
on March 7, 2026
SyntaxHighlight.lean
test: rename Test modules to ViETest and remove dead code
on March 7, 2026
TreeStats.lean
test: rename Test modules to ViETest and remove dead code
on March 7, 2026
TreeStatsMain.lean
test: rename Test modules to ViETest and remove dead code
on March 7, 2026
Undo.lean
test: rename Test modules to ViETest and remove dead code
on March 7, 2026
Utils.lean
test: rename Test modules to ViETest and remove dead code
on March 7, 2026
WorkgroupExplorer.lean
test: rename Test modules to ViETest and remove dead code
on March 7, 2026
Workspace.lean
test: rename Test modules to ViETest and remove dead code
on March 7, 2026