HACL*是一个通过形式化证明的密码学库,保证内存安全、功能正确,用F* 编写,包括现代密码学算法:Curve25519, Ed25519, AES-GCM, Chacha20,
最近更新: 1天前tuoyun_jieli_ac792 是北京拓云基于杰理 792 系列芯片开发语音对话开发板, 目前实现的功能: 小杰小杰 语音唤醒 语音对话,支持千问,deepseek,豆包等国
最近更新: 7天前Kairoa 是一款现代化的跨平台桌面开发工具集,为开发者提供丰富的实用工具,包括: :closed_lock_with_key: Hash 计算器、RSA 密钥生成器 :al
最近更新: 7天前Japronto 是基于 uvloop 和 picohttpparser 的超高速、可扩展 & 异步 Python 3.5+ HTTP 工具集,内置支持 HTTP 管线化的服务器
最近更新: 7天前Step-Audio-EditX 是一个功能强大的基于3B 参数LLM 的音频模型,它擅长表现力强且可迭代的音频编辑,涵盖情感、说话风格和副语言信息,并具备强大的零样本文本转语音
最近更新: 7天前SmartDNS 是一个运行在本地的 DNS 服务器,它接受来自本地客户端的 DNS 查询请求,然后从多个上游 DNS 服务器获取 DNS 查询结果,并将访问速度最快的结果返回给客
最近更新: 7天前OpenROAD's unified application implementing an RTL-to-GDS Flow. Documentation at https://openroad.readthedocs.io/en/latest/
最近更新: 7天前