完整流水線
從解析到執行的完整實現 — 解析器、語義分析、帶優化遍的編譯器以及逐 K 線執行的虛擬機。
Navi開源 Navi 引擎
完整的開源 Navi 引擎 — 解析器、類型檢查器、編譯器、虛擬機等。
Skip to content
Navi
支援 Navi 語法，包括指標、策略、庫、自定義類型、枚舉、方法以及標準庫。
多種整合方式
可透過 Rust、C/C++ 或語言伺服器協議 (LSP) 使用。包含 VS Code 擴展和 Web Playground。
標準庫
內置 prelude 和 stdlib 實現 — ta、math、str、array、map、matrix 等 — 全部用 Navi 編寫。
語言伺服器
完整的 LSP 實現，支援 20+ 項功能，包括診斷、補全、懸停提示、跳轉到定義、重新命名、語義高亮和內聯提示。
開源
積極開發中，歡迎貢獻。你可以添加測試、實現功能或改進診斷。