The Nest
Explore
Sign in
4kusto
vie
ViE
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
Buffer
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
Command
Add Proof modules for two-way search formal verification and adopt REUSE BSD-3-Clause licensing
on March 7, 2026
Data
missing files(ViETest.lean)
on March 8, 2026
Key
Add Proof modules for two-way search formal verification and adopt REUSE BSD-3-Clause licensing
on March 7, 2026
Language
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
Lsp
Add Proof modules for two-way search formal verification and adopt REUSE BSD-3-Clause licensing
on March 7, 2026
State
Add Proof modules for two-way search formal verification and adopt REUSE BSD-3-Clause licensing
on March 7, 2026
UI
introduce initial Lean integrations: LSP + InfoView, language-scoped defaults, and supporting tests/docs
on February 16, 2026
Window
Add Proof modules for two-way search formal verification and adopt REUSE BSD-3-Clause licensing
on March 7, 2026
Actions.lean
Add Proof modules for two-way search formal verification and adopt REUSE BSD-3-Clause licensing
on March 7, 2026
App.lean
Add Proof modules for two-way search formal verification and adopt REUSE BSD-3-Clause licensing
on March 7, 2026
Basic.lean
Add Proof modules for two-way search formal verification and adopt REUSE BSD-3-Clause licensing
on March 7, 2026
BlikuAdapter.lean
perf(bliku-adapter): avoid per-line PieceTable lookups when building buffer lines
on March 8, 2026
Buffer.lean
Add Proof modules for two-way search formal verification and adopt REUSE BSD-3-Clause licensing
on March 7, 2026
Checkpoint.lean
Add Proof modules for two-way search formal verification and adopt REUSE BSD-3-Clause licensing
on March 7, 2026
Color.lean
Add Proof modules for two-way search formal verification and adopt REUSE BSD-3-Clause licensing
on March 7, 2026
Command.lean
Add Proof modules for two-way search formal verification and adopt REUSE BSD-3-Clause licensing
on March 7, 2026
Config.lean
Add Proof modules for two-way search formal verification and adopt REUSE BSD-3-Clause licensing
on March 7, 2026
IO.lean
Add Proof modules for two-way search formal verification and adopt REUSE BSD-3-Clause licensing
on March 7, 2026
Key.lean
Add Proof modules for two-way search formal verification and adopt REUSE BSD-3-Clause licensing
on March 7, 2026
Loader.lean
Add Proof modules for two-way search formal verification and adopt REUSE BSD-3-Clause licensing
on March 7, 2026
State.lean
Add Proof modules for two-way search formal verification and adopt REUSE BSD-3-Clause licensing
on March 7, 2026
Terminal.lean
Add Proof modules for two-way search formal verification and adopt REUSE BSD-3-Clause licensing
on March 7, 2026
Types.lean
Add Proof modules for two-way search formal verification and adopt REUSE BSD-3-Clause licensing
on March 7, 2026
UI.lean
Add Proof modules for two-way search formal verification and adopt REUSE BSD-3-Clause licensing
on March 7, 2026
Unicode.lean
Add Proof modules for two-way search formal verification and adopt REUSE BSD-3-Clause licensing
on March 7, 2026
Workspace.lean
Add Proof modules for two-way search formal verification and adopt REUSE BSD-3-Clause licensing
on March 7, 2026