项目分类
按分类浏览项目，点击分类切换下方列表。
全部
AI 应用与 AI Agent · 638
AI 模型与开发框架 · 759
自动化与工作流 · 426
数据分析与数据处理 · 855
网站与 SaaS 工具 · 359
效率与办公工具 · 418
图像、视频与音频 · 428
内容创作与媒体工具 · 344
电商与营销工具 · 107
游戏与娱乐 · 207
网络与基础设施 · 721
开发者工具 · 1771
安全与隐私工具 · 216
教育与学习 · 316
其他 · 1821
图像、视频与音频 共 428 个项目 · 第 6/22 页
apalache
综合 63
Apalache 是面向 TLA+ 和 Quint 的符号模型检查器，基于 Scala 开发。它通过将系统规范转换为 Z3、CVC5 等 SMT 求解器支持的逻辑，实现有界模型检查并验证归纳不变量。借助约束求解能力，它可处理更大状态空间，解决传统工具难以应对的复杂系统验证问题。
ogma
综合 63
Ogma 是面向飞行器和机器人系统的运行时监控器生成工具，解决安全监控难以集成到外部系统的难题。它基于 Copilot，可为 NASA cFS、ROS 和 F' 生成监控应用或组件，支持从 Graphviz、Mermaid 等图表生成监控器，并自动生成 C 结构体胶水代码。
ACE-Step-1.5
综合 63
可在本地运行的音乐生成模型，支持 Mac、AMD、Intel 和 CUDA 设备。
SponsorBlock
综合 63
可自动跳过 YouTube 视频内赞助广告的浏览器扩展插件。
Pillow
综合 63
友好的 Python 图像处理库（PIL 的活跃分支）。
rembg
综合 63
基于深度学习的图片背景快速消除工具。
ebook2audiobook
综合 63
将电子书转换为有声书，支持 50 多种 TTS 引擎、声音克隆及 1696 种语言。
PeerTube
综合 63
基于 ActivityPub 联邦协议的开源流媒体平台，在浏览器内直接支持 P2P 传输。
lightcraft
综合 63
使用纯 Rust 从零编写的开源非破坏性照片编辑器。
insightface
综合 62
前沿的开源 2D 和 3D 人脸分析与识别算法项目。
chatterbox
综合 62
达到前沿（SOTA）水平的开源文本转语音（TTS）模型。
BRVAH 是一个强大且灵活的 Android RecyclerView 适配器库。
surya
综合 62
支持 90 多种语言的 OCR、版面分析、阅读顺序检测与表格识别工具。
liteparse
综合 62
快速、实用的开源文档解析工具。
skills
综合 62
面向设计师与工程师的核心技能与实用技巧分享。
GSYVideoPlayer
综合 62
支持多种内核、弹幕、外挂字幕、滤镜、水印及贴片广告的视频播放器。
Wan2.1
综合 62
开源且先进的大规模视频生成模型。
monolith
综合 62
可将完整网页打包保存为单个独立 HTML 文件的 CLI/GUI 工具及代码库。
lx-music-source
综合 62
洛雪音乐源。
Handy
综合 62
免费、开源且可扩展的语音转文字应用，支持完全离线运行。