开源序GitHub 开源项目排行

hacl-star / hacl-star

HACL*，一个用 F* 编写的经过正式验证的密码库

仓库 Star: 1,846总榜 #19,499
Fork: 194
最近推送: 5 天前更新
仓库创建: 2016 年创建

框架、SDK 与组件库后端框架F*Apache-2.0 · 宽松，可直接商用

用途与标签

网站与应用开发 # cryptography # everest # formal-methods # formal-verification # hacl # high-performance # inria # security # verification # verified-primitives

Star 走势

含按 GitHub 历史估算的数值

原始观测记录 · 2

历史观测
采集时间	仓库 Star	数据来源
2026-11-06 13:12 UTC	1,846	数据来源
2026-11-02 19:00 UTC	1,845	数据来源