types

一款深受Roguelite类型启发的基于浏览器的宝可梦同人游戏。

✨ 面向JavaScript与TypeScript的基础数值计算库 ✨

暂无项目描述

Aspire是面向代码优先、可扩展、可观测的开发与部署工具。

Rocq证明器是交互式定理证明器（或称证明助手），提供形式化语言来编写数学定义、可执行算法和定理，并配备半交互式开发机器验证证明的环境

用于加速构建可观测、生产就绪型应用程序的工具、模板和软件包

保持代码整洁无瑕

Express.js 官方网站

一个基于Material Design 2和3、支持移动端和桌面端的Vue3组件库

Hermes Agent 的原生 Web 工作空间 — 聊天、终端、记忆、技能、检查器。

原生AI开源Next.js电商平台。基于Stripe支付系统驱动。搭载类型安全的商业SDK，实现极速性能。专为AI开发环境打造，兼容Claude、Codex、Cursor等工具。

如同Mac上的TextEdit，但专为Markdown打造。

适用于Vim和Neovim的免费超高速Copilot替代方案

一款轻量级、自托管的个人理财应用，具有用户友好的界面和强大的记账功能。

直观的类电子表格界面，让所有技术水平的用户都能直接查看、编辑、查询和协作处理Postgres数据——100%开源且支持自托管，具备原生Postgres访问控制功能。

用于构建有状态智能体的记忆库

极简、易用且 SEO 友好的 Astro 博客主题

DeepAudit：人人拥有的 AI 黑客战队，让漏洞挖掘触手可及。

OpenAPI（原名Swagger）规范代码生成器。支持C#、PowerShell、Go、Java、Node.js、TypeScript、Python

轻量级下一代数据浏览器——支持Postgres、MySQL、SQLite、MongoDB、Redis、MariaDB、Elastic Search和Clickhouse，并带有聊天界面。

电话号码可揭示设备处于活跃、待机或离线等状态。此概念验证展示了送达回执与往返时间如何泄露敏感的设备活动模式。

指向任意URL、YouTube视频、播客或文件，即可获取核心摘要。提供命令行界面与Chrome扩展程序。

ByteRover CLI (brv) - 为自主编码智能体设计的便携式记忆层（原名Cipher）

一款外观精美、易于使用的照片管理系统，您可以在服务器上运行它来管理和分享照片。