项目分类
按分类浏览项目，点击分类切换下方列表。
全部
AI 应用与 AI Agent · 648
AI 模型与开发框架 · 761
自动化与工作流 · 433
数据分析与数据处理 · 861
网站与 SaaS 工具 · 358
效率与办公工具 · 424
图像、视频与音频 · 440
内容创作与媒体工具 · 348
电商与营销工具 · 108
游戏与娱乐 · 207
网络与基础设施 · 721
开发者工具 · 1779
安全与隐私工具 · 224
教育与学习 · 318
其他 · 1804
AI 模型与开发框架 共 761 个项目 · 第 18/39 页
apalache
综合 63
Apalache 是面向 TLA+ 和 Quint 的符号模型检查器，基于 Scala 开发。它通过将系统规范转换为 Z3、CVC5 等 SMT 求解器支持的逻辑，实现有界模型检查并验证归纳不变量。借助约束求解能力，它可处理更大状态空间，解决传统工具难以应对的复杂系统验证问题。
texera
综合 63
Apache Texera 是一款面向人机协同数据科学的可视化工作流平台，解决复杂数据分析门槛高及协作难的问题。它通过直观 GUI 让用户构建分析流程，并结合能理解自然语言的 AI Agent 辅助任务。核心功能包括工作流实时协作编辑、运行时调试、多语言原生支持（Python/Java）以及支持云端扩展的并行大数据处理引擎。
cloudreve
综合 63
支持对接多种存储提供商的开源自托管网盘与文件共享系统。
nerfstudio
综合 63
一个对协作友好的 NeRF（神经辐射场）开发平台。
Sortable
综合 63
支持现代浏览器与触控设备的拖拽排序列表库，无需 jQuery 或任何框架依赖。
12-factor-agents
综合 63
构建可交付生产级用户的高可用 LLM 软件的设计原则与规范指南。
ACE-Step-1.5
综合 63
可在本地运行的音乐生成模型，支持 Mac、AMD、Intel 和 CUDA 设备。
spacedrive
综合 63
基于 Rust 虚拟分布式文件系统构建的开源跨平台文件管理器。
AI-Expert-Roadmap
综合 63
成为人工智能（AI）领域专家的学习路线图指南（2022 版）。
系统化交易优质资源清单，精选相关库、工具包、交易策略、书籍、博客与教程。
quickwit
综合 63
面向可观测性的云原生开源搜索引擎。
zoxide
综合 63
更智能的 cd 命令行替换工具，支持各大主流 Shell。
vit-pytorch
综合 63
Vision Transformer（ViT）的 PyTorch 简洁实现，用于图像分类任务。
基于 DeepSeek Harness 的主动式编程 Agent 原型，可监听 GitHub 或飞书指令，自动处理任务并提交 PR。
deeplearning4j
综合 63
基于 JVM 的深度学习训练与部署工具套件，支持导入 Keras、TensorFlow、ONNX/PyTorch 等模型。
ollama-python
综合 63
Ollama 官方 Python 客户端开发库。
reader
综合 63
通过添加 URL 前缀，将任意网页转换为适合 LLM 读取的输入格式。
Qwen-Agent
综合 63
基于 Qwen>=3.0 的 Agent 框架，支持 Function Calling、MCP、代码解释器、RAG 及 Chrome 插件等能力。
CogVideo
综合 63
文本与图像生成视频的大模型项目，包含 CogVideoX 与 CogVideo。
redux-persist
综合 63
用于持久化和恢复 Redux Store 状态的库。