搜索结果：mod（38 个）
按分类缩小范围
Speech
综合 72
NVIDIA 的生成式 AI 框架，专为大语言模型、多模态及语音 AI（ASR 与 TTS）研究与开发打造。
etherpad
综合 71
现代化的真正实时协同文档编辑器。
magika
综合 66
Google 开源的 AI 驱动文件内容类型快速高精准检测工具。
vditor
综合 66
一款浏览器端 Markdown 编辑器，支持所见即所得、类似 Typora 的即时渲染与分屏预览。
Recaf
综合 65
现代化的 Java 字节码编辑器。
graphiql
综合 64
用于构建浏览器和 IDE 工具的 GraphiQL 与 GraphQL LSP 参考生态。
chandra
综合 64
支持复杂表格、表单、手写内容及完整版面分析的 OCR 模型。
apalache
综合 63
Apalache 是面向 TLA+ 和 Quint 的符号模型检查器，基于 Scala 开发。它通过将系统规范转换为 Z3、CVC5 等 SMT 求解器支持的逻辑，实现有界模型检查并验证归纳不变量。借助约束求解能力，它可处理更大状态空间，解决传统工具难以应对的复杂系统验证问题。
beekeeper-studio
综合 62
现代易用的跨平台数据库 GUI 与 SQL 客户端，支持 MySQL、Postgres、ClickHouse 等。
chisel
综合 61
Chisel 是一个嵌入在 Scala 语言中的现代开源硬件描述语言（HDL）。它解决了传统硬件设计复用难、抽象层次低的问题，允许开发者借助 Scala 编写高可参数化的电路生成器，并能生成可综合的 Verilog 代码，适用于 ASIC 和 FPGA 数字逻辑设计。
markor
综合 60
支持 Markdown、todo.txt 的 Android 文本编辑与笔记应用。
quill
综合 60
一款注重兼容性与高扩展性的现代富文本（WYSIWYG）Web 编辑器。
awesome-shizuku
综合 59
精选收集基于 Shizuku 服务的各类优质 Android 应用列表。
xmonad-contrib
综合 59
xmonad-contrib 是由社区维护的 XMonad 窗口管理器扩展库（基于 Haskell）。针对 xmonad 核心极简的设计，它提供了数百种额外的平铺布局算法和功能扩展模块，让开发者能按需自由定制，打造专属的 X11 窗口管理器。
ast-grep
综合 59
使用 Rust 编写的 CLI 工具，用于代码结构化搜索、Lint 和重写。
dia
综合 56
支持一次性生成超逼真对话的 TTS（文本转语音）模型。
helix
综合 56
一款后现代风格的模态终端文本编辑器。
slick
综合 55
〔中文简介暂未生成〕 Slick (Scala Language Integrated Connection Kit) is a modern database query and access library for Scala
Open-Generative-AI
综合 53
开源 AI 音视频生成平台，支持自托管与 600+ 模型，无审查过滤，基于 MIT 协议。
listmonk
综合 51
单二进制部署的高性能自建邮件列表与 Newsletter 管理工具，含现代看板。