types

暂无项目描述

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

保持代码整洁无瑕

Express.js 官方网站

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

原生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，并带有聊天界面。

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

给你的智能体一台电脑 👾

🎵 终极开源Suno替代方案——面向ACE-Step 1.5 AI音乐生成的专业界面。免费、本地、无限制。告别Suno付费！

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

使用任意网页浏览器或WebView作为图形界面，后端采用你偏好的编程语言，前端运用现代Web技术，全部集成于一个轻量级可移植库中。

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

您的AI编程代理首选网页——基于MCP的本地优先搜索、抓取、爬取与研究。无需API密钥，无需云端，零成本查询。公开测试版。