Hysen LabsFStarLang
FStar
此專案圍繞「A Proof-oriented Programming Language. [fstar-mode.el]: Emacs mode for F* [fstar-vscode-assistant]: VS Code plugin for F* More details on [editor support] are available on the [F\* wiki].」建置，聚焦實際場景的開源實作，提供可重用的工具鏈與整合方式。
3,070 個 Star258 個 ForkF*Apache-2.0
01
編輯速覽
它解決了什麼
此專案圍繞「A Proof-oriented Programming Language. [fstar-mode.el]: Emacs mode for F* [fstar-vscode-assistant]: VS Code plugin for F* More details on [editor support] are available on the [F\* wiki].」建置，聚焦實際場景的開源實作，提供可重用的工具鏈與整合方式。
本頁的專案背景與編輯內容均可免費閱讀。原始 GitHub 儲存庫仍是最終依據；只有收藏或參與討論時才需要登入。
02
適用情境
社群筆記