搜索结果：ant（23 个）
按分类缩小范围
rasa
综合 75
开源机器学习对话框架，支持 NLU 与对话管理，可接入 Slack 等平台构建聊天机器人与语音助手。
Hello-Python
综合 70
面向零基础初学者的 Python 完整教程，涵盖基础语法、前后端、测试及 AI 等内容。
label-studio
综合 69
Label Studio 是一款支持多类型数据的标注工具，提供标准化输出格式。
faster-whisper
综合 67
基于 CTranslate2 的高速 Whisper 转录工具。
flair
综合 64
极简易用的前沿自然语言处理（NLP）开发框架。
用通俗平实的语言解读函数式编程领域的各类专业黑话术语。
系统化交易优质资源清单，精选相关库、工具包、交易策略、书籍、博客与教程。
kimi-k3-in-c
综合 63
纯 C99 实现的 Kimi K3 推理，无需 GPU、BLAS 或任何框架，单 CPU 和 8.24 GB 内存即可运行。
stainless
综合 63
Stainless 是一个面向 Scala 语言子集的形式化验证框架与工具。它主要解决高阶 Scala 程序的正确性验证问题，支持 Scala 3.5.0 及以上版本。核心功能是通过命令行对代码进行形式化分析，自动验证断言及模式匹配完备性等属性。
tianshou
综合 62
基于 PyTorch 构建的优雅、灵活的深度强化学习库。
abu
综合 61
基于 Python 的开源量化交易系统，支持股票、期权、期货、加密货币及机器学习投研。
scalameta
综合 59
scalameta 是一个专为 Scala 打造的元编程库。它主要解决 Scala 代码在分析、转换和生成等处理上的繁琐问题。核心功能涵盖代码解析（Parser）、语法与语义分析（SemanticDB）、代码格式化打印（Pretty-printer）及代码自动生成与转换。
openproject
综合 54
开源项目管理软件，支持敏捷规划、问题追踪、产品路线图与甘特图，可作为 Jira 的替代方案。
servant
综合 53
Servant 是一个基于 Haskell 的类型级领域特定语言（DSL）。它主要解决 Web 应用中 API 定义与实现脱节的问题，允许开发者在类型层面精确描述 Web API，并以此统一支持后端服务搭建、客户端请求查询、接口 Mock 测试以及自动生成文档等功能。
CLIP
综合 52
OpenAI 推出的图文预训练模型 CLIP，可根据输入图像预测最匹配的文本描述。
claude-cookbooks
综合 49
Claude 官方示例库，包含展示其高效趣味用法的代码与 Notebook 指南。
qlib
综合 49
面向 AI 量化投资的开源平台，覆盖从策略探索到实盘落地全流程。
大型分布式系统架构精选指南，汇总高可扩展、高可靠与高性能系统的设计模式。
cleanrl
综合 46
面向科研的高质量单文件深度强化学习算法实现（含 PPO、DQN、SAC 等）
Anthropic 官方推出的交互式 Prompt 工程教学教程。