★
hacl-star 是用 F* 编写的安全工具，面向安全研究与防护，主打实现清晰。
HACL*, a formally verified cryptographic library written in F*
FStar 是用 F* 编写的开源项目，主题标签有限，建议打开仓库查看具体用途。
目前累计 3.1k star、267 fork，主要语言为 F*，项目始于 2014 年，采用 Apache-2.0 许可。最近状态：近一个月有提交。适合：正在做技术选型的开发者。
中文介绍优先采用本站人工维护条目；无维护条目时依据 GitHub 公开字段（语言、主题、星标、提交时间）自动生成，未经项目方确认，不构成选型结论。FStarLang/FStar 是一个以 F* 为主的开源项目，目前累计 3.1k star、267 fork，近 30 天内有提交。主要方向：c-language、dependent-types、dijkstra-monads、f-sharp、fstar、interactive-theorem-proving。
依据 GitHub 公开字段（语言、主题、星标、提交时间）自动生成，未经人工逐项核实。c-languagedependent-typesdijkstra-monadsf-sharpfstarinteractive-theorem-provingocamlprogram-proofprogramming-languageproof-assistantsmttheorem-proving