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 并非添加运行时检...
Evertop 是一款便携式电脑，模拟 IBM XT 处理器，配备 80186 处理器和 1MB 内存。它可以运行 DOS、Minix 以及其他一些 20 世纪 80 年代的旧操作系统。它还能运...
UniRig 是全新的统一自动化骨骼绑定框架，它提出了一个强大的统一模型，能够为前所未有、种类繁多的 3D 模型生成高质量的绑定数据，涵盖人类、动物、复杂的幻想角色乃至无机结构。 UniRig ...
MineWorld 是基于 Minecraft（《我的世界》）的实时交互式世界模型。 MineWorld 以 Transformer 为核心，并结合大热门沙盒游戏《我的世界》开发而成。这是因为游...
Zack 是一个轻量级但功能强大的交易策略回测引擎，完全用 Zig 编写。它允许你根据历史市场数据测试你的交易想法，看看它们可能的表现如何。 Zack 使用历史 OHLCV（开盘价、最高价、最低...
Undercut F1 是一款 F1 实时计时 TUI，让用户在任何 F1 赛事期间都能实时获取所需的所有信息。该 TUI 支持可变流延迟，可让你将实时计时数据与电视上看到的画面同步，甚至还能实...
基于 AI 完整保留排版的 PDF 文档全文双语翻译，支持 Google/DeepL/Ollama/OpenAI 等服务，提供 CLI/GUI/Docker/Zotero。 保留公式、图表、目录...
受 Express.js 启发的极简 Dart 后端框架。 特性 类似于 Express.js 的简单直观的 API 内置路由系统，支持参数 请求主体解析 JSON 和表单数据 查询参数处理 路...
基于RuoYi框架开发的RDBMS快捷工具 一、驱动管理 驱动管理功能，用户能够上传并配置各类数据库驱动包。无论是常见的MySQL、Oracle、PostgreSQL、SQL Server，还是...
SkyReels-V2 是全球首个使用扩散强迫（Diffusion-forcing）框架的无限时长电影生成模型，其通过结合多模态大语言模型（MLLM）、多阶段预训练（Multi-stage Pr...
Sim Studio 是开源 AI Agent 工作流构建器，助力轻松搭建、测试和优化 Agent 工作流，支持 Docker 部署。 特性 提供云托管和自托管两种运行方式 支持本地模型集成，满...
方向感知的对角蛇形（diagonal snake-like order）自回归图像生成方式（DAR）引入了用于下一个 token 预测的对角线扫描顺序，并提出了一个方向感知的自回归 Transf...
Photino 是一款使用 Web 图形界面技术构建原生、跨平台桌面应用的轻量化开源框架。 Photino 支持开发者使用诸如 C#、C++、Java 或其他快速、原生编译的编程语言。同时使用您...
没有更多内容
加载失败，请刷新页面
