ffmpeg.wasm 是纯 WebAssembly / JavaScript 实现的 FFmpeg 移植。它可以在浏览器中进行视频和音频录制、转换和流式传输。 AVI to MP4 Demo ...

Tantivy 是一个用 Rust 编写的搜索引擎库，其灵感来自于 Lucene。 得益于 Rust 语言加持，Tantivy 性能比 Lucene 要好得多 主要特性： 全文搜索 可配置的分词...

PDManer元数建模，是一款多操作系统开源免费的桌面版关系数据库模型建模工具，相对于PowerDesigner，他具备界面简洁美观，操作简单，上手容易等特点。支持Windows,Mac,Lin...

kLoop 是一个 Python asyncio 事件循环的实现，主要用 Cython 编写，重点使用了 Linux 内核的 io_uring 和 kTLS 功能，故称作 k(ernel)Loo...

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...