搜索结果：ant（114 个）
按分类缩小范围
mindshub
综合 68
统一的工作区平台，让各类开源模型协同为你完成各种任务。
PaddleNLP
综合 68
易用且强大的 LLM 与 SLM 库，内置丰富的优质模型库。
faster-whisper
综合 67
基于 CTranslate2 的高速 Whisper 转录工具。
Chinese-LLaMA-Alpaca
综合 67
中文 LLaMA 与 Alpaca 大语言模型，支持在本地 CPU/GPU 环境下训练与部署。
quant-trading
综合 67
包含 VIX 计算、形态识别、CTA、蒙特卡洛及配对交易等多种 Python 量化策略集合。
labelme
综合 67
Python 图像标注工具，支持多边形、矩形等及 AI 辅助标注。
面向初学者的 18 节实战课程，带你系统入门 AI Agent 构建。
OpenMythos
综合 66
基于公开研究文献与第一性原理，对 Claude Mythos 架构进行的理论性重构项目。
微软出品的 21 节生成式 AI 入门教程，带你从零构建 AI 应用。
ragas
综合 65
专为 LLM 应用打造的自动化评估与测试框架。
flair
综合 64
极简易用的前沿自然语言处理（NLP）开发框架。
midday
综合 64
专为自由职业者打造的财务与管理工具，集成发票、工时追踪、对账、云存储与 AI 助手。
aider
综合 64
直接运行在终端里的 AI 结对编程助手。
qdrant
综合 64
面向下一代 AI 的高性能、大规模向量数据库与向量搜索引擎。
系统化交易优质资源清单，精选相关库、工具包、交易策略、书籍、博客与教程。
quickwit
综合 63
面向可观测性的云原生开源搜索引擎。
kimi-k3-in-c
综合 63
纯 C99 实现的 Kimi K3 推理，无需 GPU、BLAS 或任何框架，单 CPU 和 8.24 GB 内存即可运行。
stainless
综合 63
Stainless 是一个面向 Scala 语言子集的形式化验证框架与工具。它主要解决高阶 Scala 程序的正确性验证问题，支持 Scala 3.5.0 及以上版本。核心功能是通过命令行对代码进行形式化分析，自动验证断言及模式匹配完备性等属性。
让 Opencode 通过 OAuth 连接 Antigravity，以使用其额度访问 gemini-3-pro 等模型。
turbovec
综合 62
基于 TurboQuant 的向量索引库，采用 Rust 开发并提供 Python 绑定。