搜索结果：gin（186 个）

Copilot 是一个基于 Haskell 的硬实时系统运行时验证框架。它解决嵌入式和硬实时系统在运行时的安全监测与正确性验证难题。核心功能支持用流式语言编写高级规范，并能将其生成时间与内存恒定的 C99 监控代码，同时提供测试解释器和定理证明支持。

面向 WordPress 及更广泛场景的区块编辑器项目，插件可在官方仓库获取。

可扩展的开源 PaaS 平台，集成 Docker 与 Nginx 自动化配置，类似于自建版 Heroku。

OWASP 移动应用安全测试指南（MASTG），提供移动 App 安全测试和逆向工程的全面技术手册。

现代链接归因分析平台，深受 Twilio、Vercel 等工程团队喜爱。

轻量级工作流与业务流程管理（BPM）平台，核心采用高速 BPMN 2 引擎。

容器化运行的安全轻量 OpenClaw 替代方案，支持 WhatsApp、Telegram 等平台，带记忆与定时任务。

开源的 AI 全自动短视频生成引擎。

专注于保障 CI/CD 流程稳定与可靠性的开源 Agent。

基于阿里巴巴中间件的分布式应用开发一站式解决方案。

通过 Chrome DevTools Protocol 驱动和控制浏览器的快速、轻量方案。

Webpack 插件与 CLI 工具，用交互式可缩放树状图展示打包内容。

面向现代架构的云原生应用代理与反向代理工具。

面向 AI 时代的 Memory API 与应用，主打极速、高扩展性，且支持完全本地运行。

〔中文简介暂未生成〕 :robot: A bot that helps you keep your projects up-to-date

基于 Ansible 构建的 Web 界面、REST API 和任务引擎，也是 Red Hat 官方自动化平台的上游开源项目。

极速为现有数据库生成实时 GraphQL API 的引擎，支持细粒度权限控制与数据库事件 Webhook 触发。

将本地 AI 编程工具接入飞书、钉钉、微信等平台的连接桥。

Izumi 是提升 Scala 开发效率的独立工具与框架生态。它主要解决纯函数式 Scala（支持 Cats Effect、ZIO 等）在工程化中的繁琐痛点，核心提供编译期安全的依赖注入（distage）、跨测试共享资源的测试套件、基于字符串插值的结构化日志（LogStage）以及 Docker 测试集成等实用功能。

ElasticMQ 是一个兼容 Amazon SQS 接口的内存消息队列系统，基于 Scala 构建。它主要解决本地开发与测试中依赖真实 AWS SQS 的成本与繁琐问题。核心功能包括支持 SQS 语义的轮询与延时消息、全异步无阻塞运行，支持独立部署、Docker 或嵌入式运行，并提供可选的持久化和 Web 管理界面。