基于RuoYi框架开发的RDBMS快捷工具 一、驱动管理 驱动管理功能，用户能够上传并配置各类数据库驱动包。无论是常见的MySQL、Oracle、PostgreSQL、SQL Server，还是...<
SkyReels-V2 是全球首个使用扩散强迫（Diffusion-forcing）框架的无限时长电影生成模型，其通过结合多模态大语言模型（MLLM）、多阶段预训练（Multi-stage Pr...<
Magi-1 是首个实现顶级画质输出的自回归视频生成模型，模型权重、代码 100% 开源。其主打能力，一是无限长度扩展，实现跨时间的无缝连贯叙事。二是能将控制精确到每一“秒”，10s 内自定义视...<
Autocomplete for Zsh是一款Zsh插件，为命令行添加了实时输入预测自动补全功能，类似桌面应用程序中的体验。 当您在命令行输入时，可用补全选项会自动列出，无需按任何快捷键。按Ta...<
Void 是一款开源 AI 编辑器，可作为 Cursor 的替代品。Void 支持跟 Cursor 一样的功能，比如 Tab 补全代码，Ctrl + K 编辑选中内容，支持用 AI 搜索代码库，...<
Chumsky 是一个用户友好的、适用于 Rust 的解析器，旨在让编写表达性强、高性能的解析器变得轻松。它设计初衷主要用于编写面向用户的解析器，如编译器。 不过，它也适用于网络层的二进制协议解...<
Nerdlog 是一款快速、远程优先、多主机的 TUI 日志查看器，带有时间线直方图功能，无需中央服务器。其设计灵感源自 Graylog/Kibana，但更轻量。此外，它几乎无需任何设置。 它专...<
Open Codex是一个完全开源的命令行 AI 助手，受到 OpenAI Codex 的启发，支持本地语言模型，例如phi-4-mini。 无需 API 密钥。一切都在本地运行。支持： One...<
Dia 是由 Nari Labs 创建的 1.6B 参数文本转语音模型。 Dia可以直接从文字记录生成高度逼真的对话。可以根据音频调整输出，从而控制情绪和语调。该模型还可以生成非语言交流，例如笑...<
Verus 是一款用于验证 Rust 代码正确性的工具。开发者编写代码功能规范，Verus 会静态检查可执行的 Rust 代码是否始终满足所有可能执行场景下的规范。 Verus 并非添加运行时检...<
