搜索结果：r（759 个）
按分类缩小范围
LeetCode-Go
综合 64
用 Go 语言编写的 LeetCode 题解，测试覆盖率 100%，运行速度击败 100%。
PentestGPT
综合 64
基于大语言模型构建的自动化渗透测试智能体框架。
konva
综合 64
HTML5 Canvas 2D 框架，支持场景图、事件交互、拖拽动画，适用于编辑器与白板开发。
flair
综合 64
极简易用的前沿自然语言处理（NLP）开发框架。
yolov3
综合 64
YOLOv3 系列的 PyTorch 实现，支持实时目标检测的训练、验证、推理及多格式导出
midday
综合 64
专为自由职业者打造的财务与管理工具，集成发票、工时追踪、对账、云存储与 AI 助手。
gh-dash
综合 64
功能丰富的 GitHub 终端 UI 工具，无需离开终端即可管理 PR 和 Issue。
silero-vad
综合 64
Silero VAD：预训练的企业级语音活动检测器（Voice Activity Detector）
beam
综合 64
统一的批处理与流式数据处理编程模型。
gun
综合 64
用于同步去中心化图数据的开源网络安全协议与分布式数据库。
Wan2.2
综合 64
开源且先进的大规模视频生成模型。
dio
综合 64
Dart 和 Flutter 的强大 HTTP 客户端，支持拦截器、FormData、取消请求与文件上传下载等功能。
aider
综合 64
直接运行在终端里的 AI 结对编程助手。
qdrant
综合 64
面向下一代 AI 的高性能、大规模向量数据库与向量搜索引擎。
easy-dataset
综合 64
用于构建 LLM 微调、RAG 和 Eval 评测数据集的实用工具。
chandra
综合 64
支持复杂表格、表单、手写内容及完整版面分析的 OCR 模型。
actix-web
综合 63
功能强大、实用且极速的 Rust Web 框架。
Qwen
综合 63
阿里云开源的通义千问（Qwen）预训练与对话大语言模型官方代码仓库。
Megatron-LM
综合 63
NVIDIA 开源的大规模 Transformer 语言模型分布式训练研究项目。
apalache
综合 63
Apalache 是面向 TLA+ 和 Quint 的符号模型检查器，基于 Scala 开发。它通过将系统规范转换为 Z3、CVC5 等 SMT 求解器支持的逻辑，实现有界模型检查并验证归纳不变量。借助约束求解能力，它可处理更大状态空间，解决传统工具难以应对的复杂系统验证问题。