SMACK - 软件验证工具链

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

收藏 6

Beremiz - PLC 集成开发环境

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

收藏 34
更新于 2022/03/31

OpenPLC - 标准化开源 PLC

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

收藏 61
更新于 2022/03/15
OpenPLC

Apache PLC4X - 工业物联网通用协议适配器

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

收藏 74
更新于 2022/03/21
Apache PLC4X

Antares SQL - 数据库管理工具

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

收藏 62
更新于 2022/02/13

TiFlash - TiDB 的分析引擎

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

收藏 14
更新于 2022/04/13

Dory-Engine - 简单的应用上云引擎

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

收藏 44
更新于 2022/01/16
Dory-Engine

SALOME - 大型数值模拟平台

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

收藏 12
更新于 2022/03/20

Layotto - Golang 开发的应用运行时

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

收藏 32
更新于 2022/03/03
Layotto

KubeVela - 可扩展的云原生应用管理平台

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

收藏 80
更新于 2022/09/07
KubeVela

Butterfly Dag - 节点式流程图编排组件库

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

收藏 143
Butterfly Dag

OneOS - 轻量级物联网操作系统

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

收藏 47
更新于 2022/09/09

Toit - 物联网编程语言

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

收藏 16
更新于 2022/02/12
Toit

Detox - 移动端 APP 自动化测试框架

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

收藏 36
更新于 2022/11/13
Detox

L3AF - 轻量级 eBPF 项目

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

收藏 31
更新于 2022/03/14
L3AF
开源软件作者
wast 作者
WCMS 作者
vuemap/vue-amap 作者

weggli - C/C++ 代码库语义搜索工具

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

收藏 23
更新于 2021/10/19

SnowFS - 二进制文件版本控制

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

收藏 30
更新于 2021/10/21

OpenBlock - 可视化块编程语言

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

收藏 60
更新于 2021/11/16
OpenBlock

Muzic - 人工智能音乐研究

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

收藏 56
Muzic

Elk - 用于嵌入式系统的微型 JS 引擎

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

收藏 40

没有更多内容

加载失败,请刷新页面