由于 trendforge.devlive.top 访问受限,请切换到 trendforge.devlive.org 域名
types
话题找到数量
outsourc-e/hermes-workspace
Hermes Agent 的原生 Web 工作空间 — 聊天、终端、记忆、技能、检查器。
stdlib-js/stdlib
✨ The fundamental numerical library for JavaScript and TypeScript. ✨ ⭐️ Star to support our work!
orval-labs/orval
orval 能够根据任何有效的 OpenAPI v3 或 Swagger v2 规范(无论是 yaml 还是 json 格式)生成具有适当类型签名(TypeScript)的客户端。🍺
rocq-prover/rocq
Rocq证明器是交互式定理证明器(或称证明助手),提供形式化语言来编写数学定义、可执行算法和定理,并配备半交互式开发机器验证证明的环境
KnockOutEZ/wigolo
您的AI编程代理首选网页——基于MCP的本地优先搜索、抓取、爬取与研究。无需API密钥,无需云端,零成本查询。公开测试版。
yournextstore/yournextstore
原生AI开源Next.js电商平台。基于Stripe支付系统驱动。搭载类型安全的商业SDK,实现极速性能。专为AI开发环境打造,兼容Claude、Codex、Cursor等工具。
apache/maka
Apache Maka(孵化)是本地优先的 AI 代理工作区。模型消息、工具调用、工具结果、权限决策和终止事件都记录为仅附加日志。
mathesar-foundation/mathesar
直观的类电子表格界面,让所有技术水平的用户都能直接查看、编辑、查询和协作处理Postgres数据——100%开源且支持自托管,具备原生Postgres访问控制功能。