types

Agda是一种依赖类型编程语言/交互式定理证明器。

开箱即用的 AI 标书编写工具，AI 标书生成工具，投标工具箱、知识库、标书查重、废标项检查，完全开源免费，欢迎使用

开源人工智能交易代理，在 1000 多个市场中自主运营 - Polymarket、Kalshi、Binance、Hyperliquid、Solana DEX、5 个 EVM 链。扫描边缘，立即执行，在您睡觉时管理风险。用于机器对机器支付的代理商务协议。自托管。建立在克劳德.

录制您的屏幕，发送演示。免费开源、GPU 加速、无水印、无需订阅。 Windows、macOS、Linux。积极维护。

Visual Studio Code 的项目管理器扩展。

Synkra AIOS：面向全栈开发的人工智能编排系统 - 核心框架 v4.0

CheckCle 是一款自托管、开源的监控平台，用于对全栈系统、应用和基础设施进行无缝、实时的监控。它提供实时在线监控、分布式检测、事件追踪和告警功能，且可部署于任何环境。

本土、开源的自进化跨平台AI内容发现代理：先理解你，再主动从B站、小红书、抖音、YouTube、X、知乎、Reddit、微博等平台与开放Web寻找内容。（支持deepseekharness插件） |本地优先开源跨平台AI内容发现代理：了解您，然后主动在Bilibili、小红书、抖音、YouTube、X、知乎、Reddit、微博和开放网络上查找内容。（支持deepseekharness插件）

语义化版本控制命令行工具。支持代码的实体级差异对比、追溯、图谱与影响分析。通过tree-sitter支持21种编程语言。

AI 后端框架。像构建微服务一样构建和运行 AI 智能体——从一开始就具备可扩展性、可观测性和身份感知能力。

可视化生成CRUD代码、内置WEB终端、workerman常驻内存运行支持，技术栈为Vue3.x(setup)+ThinkPHP8+TypeScript+Vite+Pinia+Element Plus，智能多端，同时提供Web和Server端、自动注册路由、无限级菜单权限节点、全局数据恢复、字段级保护等，是集颜值、实用、敏捷于一身的管理系统。

通过直观的可视化构建器轻松打造精美网站并即时发布

将您的Telegram账户转变为无限安全的云存储驱动器。一款基于Tauri、Rust和React构建的开源桌面应用。

可自托管的WhatsApp CRM模板——包含共享收件箱、联系人、销售管道、群发消息和无代码自动化。可自行Fork、定制品牌并托管部署。

你是老板，智能体是你的团队。它们自主处理任务、相互发送消息并审核彼此的工作。你只需看板并下达高层指令。Codex/Claude/OpenCode（200+模型、75+LLM提供商、免费模型无需认证）。用多个团队构建你的AI公司。

开源制造ERP/MES/QMS系统，特别适用于复杂装配、高低量混合与按订单配置生产模式

代码库的交互式架构图

Vim 的 TypeScript 语法文件

基于TinyFish网络代理构建的示例应用与方案合集。供您学习与构建的开源示例项目！

🪐 基于 Tauri 和 Nuxt 构建的现代化离线看板应用，支持 Windows、macOS 和 Linux 系统。设计注重简洁性与用户体验。

TEAMMATES 是一款用于教育的反馈管理工具

专为开发者和设计师精心优化的SVG技术标识合集——可定制、可缩放且完全免费。

一站式构建基于Stripe的人工智能产品和业务。

PanHub网盘聚合搜索·网盘搜索聚合器。一个搜索聚合夸克/阿里云框/百度/115/迅雷等网盘资源，多源聚合去重、智能排序、插件熔断隔离。零数据库轻量部署，支持Docker / Vercel / Cloudflare。将网盘链接聚合到一个搜索中。