搜索结果：verification（4 个）
按分类缩小范围
speechbrain
综合 70
基于 PyTorch 的开源全能语音处理工具包。
PaddleSpeech
综合 66
易用的语音工具包，包含 ASR、流式 TTS、声纹识别及端到端语音翻译等。
stainless
综合 63
Stainless 是一个面向 Scala 语言子集的形式化验证框架与工具。它主要解决高阶 Scala 程序的正确性验证问题，支持 Scala 3.5.0 及以上版本。核心功能是通过命令行对代码进行形式化分析，自动验证断言及模式匹配完备性等属性。
WTF-Solidity
综合 57
面向新手开发者的 Solidity 极简入门教程，支持中英双语。