Tauri 是一个框架，用于为所有主要桌面平台构建小巧、快速的二进制文件。开发人员可以集成任何可编译为 HTML、JS 和 CSS 的前端框架，以构建他们的用户界面。应用程序的后端是一个基于 R...

eSearch 可以在 Linux 上(win 和 mac 上也能用)实现手机识屏这样的屏幕搜索功能，当然也是一款方便的截屏软件。 即 截屏+OCR+搜索+贴图+以图搜图。 截屏功能支持窗口和控...

Archttp 是一个轻量级易于使用的 http 框架，易用性堪比 ExpressJS，性能可比肩基于 Golang 开发的 Fasthttp 框架。 示例代码： import archttp...

SMACK即是一个模块化的软件验证工具链，又是一个独立的软件验证工具。它可以被用于验证输入程序里的断言。默认模式下SMACK对断言的验证是有对循环/递归的上限。同时，SMACK实现了对无上限的验...

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 开发的。该项目处...