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
适用场景
社区笔记