Beremiz 是一个用于机械自动化的 PLC 集成开发环境（IDE），符合 IEC61131-3 编程语言标准，可将任何处理器变成 PLC。Beremiz 还包含用于创建 HMI 并将 PLC...

OpenPLC 是一个功能齐全的标准化开源 PLC，无论是软件还是硬件，其诞生之初的重点是为自动化和相关研究提供低成本的工业解决方案，现被广泛用于工业网络安全研究的框架。 OpenPLC 由三部...

Apache PLC4X 是一个工业物联网通用协议适配器，PLC4X 是一组库，用于使用各种协议与工业可编程逻辑控制器 (PLC) 进行通信，但这些协议具有共享的 API。 工业的可编程逻辑控制...

Antares SQL 是一个开源的简单但是功能齐备的数据库管理工具，支持多种数据库（MySQL/MariaDB, PostgreSQL 和 SQLite)。 主要特点： 支持同时连接多个数据库...

TiFlash 是 TiDB 的组件。它主要在 TiDB 的混合事务/分析处理（HTAP）架构中扮演分析处理（AP）的角色。 TiFlash 通过 Raft logs 实时同步 TiKV 的数据...

Dory-Engine 是一个简单得非常吓人的应用上云引擎 DORY = DevOps Orechstration YML，一种DevOps编排定义语言DSL的简称。 应用开发者无需掌握复杂的D...

SALOME 根据 LGPL 许可分发，为数值模拟的前处理和后处理提供了一个通用平台，可对各个领域的物理过程进行建模和仿真，以及处理多物理场和参数研究等大型数值模拟。 它包括参数化 CAD 建模...

Layotto(/leɪˈɒtəʊ/) 是一款使用 Golang 开发的应用运行时，旨在帮助开发人员快速构建云原生应用，帮助应用和基础设施解耦。它为应用提供了各种分布式能力，比如状态管理，配置管...

KubeVela 是一个简单易用且高度可扩展的应用管理平台与核心引擎。KubeVela 是基于 Kubernetes 与 OAM 技术构建的。 详细的说，对于应用开发人员来讲，KubeVela ...

Butterfly 是一个基于 JS 的数据驱动的节点式编排组件库，可以使用流程图编排项目所需的组件。 特性 丰富DEMO，开箱即用 全方位管理画布，开发者只需要更专注定制化的需求 强定制性：利...

OneOS是中国移动针对物联网领域推出的轻量级操作系统，具有可裁剪、跨平台、低功耗、高安全等特点，支持ARM Cortex-M/R/A、MIPS、RISC-V等主流CPU架构，兼容POSIX、C...

Toit 是一种用于物联网（IoT，Internet of Things）的面向对象的编程语言，它集成了语法高亮、goto-definitions 和自动补全等先进的编辑器功能。 借助 Toit...

Detox 是一个用于移动端 APP 灰盒测试（介于白盒测试和黑盒测试之间，既关注内部逻辑实现，也关注软件最终效果，但关注度不及两者，通常在集成测试阶段进行）的自动化测试框架。 下面是登录界面的...

L3AF 是一个使用了 eBPF 及相关技术提供“内核函数即服务”的项目，由零售巨头沃尔玛开源。它能够在由 Go 语言编写的高级控制平面的帮助下，提供完整的 eBPF 网络应用程序的生命周期管理...

weggli 是一个快速且强大的 C 和 C++ 代码库语义搜索工具，旨在帮助安全研究人员识别大型代码库中的有趣功能。 weggli 根据用户提供的查询对抽象语法树执行模式匹配。它的查询语言类似...

SnowFS 是适用于 Windows、macOS 和 Linux 的高性能命令行应用程序和节点库，专注于二进制文件版本控制。它专为图形行业而设计，最初是为 Snowtrack 开发的。该项目处...

OpenBlock 是一个可视化块编程语言。 软件架构 GOTC-OpenBlock.pdf OpenBlock_BP.pdf 安装教程 npm install -g static-server...

Muzic 是一个人工智能音乐研究项目，通过深度学习和人工智能赋能音乐理解和生成。Muzic 发音为 [ˈmjuːzeik] 和'谬贼客'（中文）。 Muzic 目前的工作包括： 音乐理解 符号...

Elk 是一个小型的可嵌入 JavaScript 引擎，它实现了 ES6 的一个小但可用的子集。它专为微控制器开发而设计。Elk 允许使用 JavaScript 进行开发，而不是使用 C/C++...

KinD 是使用 Docker 容器“节点”运行本地 Kubernetes 集群的工具，KinD 主要用于测试 Kubernetes 本身，但也可用于本地开发或 CI。 下图是使用 kind 创...