搜索结果：v（340 个）
按分类缩小范围
PyMuPDF
综合 64
高性能 Python 库，用于 PDF 等文档的数据提取、分析、转换及处理操作。
ytDownloader
综合 64
支持从数百个主流网站下载音频和视频的桌面客户端。
YesPlayMusic
综合 64
高颜值的第三方网易云音乐播放器，基于 Electron 开发，支持 Windows、macOS 和 Linux。
video-subtitle-remover
综合 64
基于 AI 本地去除图片和视频硬字幕及文本水印的工具，无损画质且无需第三方 API。
compromise
综合 64
轻巧实用的 JavaScript 自然语言处理（NLP）库。
Pixelle-Video
综合 64
开源的 AI 全自动短视频生成引擎。
silero-vad
综合 64
Silero VAD：预训练的企业级语音活动检测器（Voice Activity Detector）
Graphite
综合 64
基于节点式程序化图形引擎的综合 2D 创作应用，支持平面设计、数字艺术与实时动效制作。
Wan2.2
综合 64
开源且先进的大规模视频生成模型。
auto-animate
综合 64
零配置、即插即用的平滑过渡动画库，支持 React、Vue 等各类 JS 应用。
cicada
综合 64
支持会议与直播的实时字幕、同传及 AI 纪要工具，跨全平台开源。
精选软件架构学习与实践资源清单，涵盖文章、视频、设计模式与原则。
RapidRAW
综合 63
注重性能、界面美观的无损 GPU 加速 RAW 图像编辑器。
apalache
综合 63
Apalache 是面向 TLA+ 和 Quint 的符号模型检查器，基于 Scala 开发。它通过将系统规范转换为 Z3、CVC5 等 SMT 求解器支持的逻辑，实现有界模型检查并验证归纳不变量。借助约束求解能力，它可处理更大状态空间，解决传统工具难以应对的复杂系统验证问题。
readest
综合 63
功能丰富的现代化电子书阅读器，支持跨平台与直观的阅读体验。
folia-major
综合 63
支持本地音乐、Navidrome 及流媒体的多平台播放器，主打炫丽歌词动画。
nerfstudio
综合 63
一个对协作友好的 NeRF（神经辐射场）开发平台。
ogma
综合 63
Ogma 是面向飞行器和机器人系统的运行时监控器生成工具，解决安全监控难以集成到外部系统的难题。它基于 Copilot，可为 NASA cFS、ROS 和 F' 生成监控应用或组件，支持从 Graphviz、Mermaid 等图表生成监控器，并自动生成 C 结构体胶水代码。
ACE-Step-1.5
综合 63
可在本地运行的音乐生成模型，支持 Mac、AMD、Intel 和 CUDA 设备。
SponsorBlock
综合 63
可自动跳过 YouTube 视频内赞助广告的浏览器扩展插件。