业界首款开源形式验证工具

OGG代码仓库已创建完成（目前Fork自OCCT），欢迎广大开发者提交代码。 OGG1.0目前正在公测招募中，请移步官网参与申请

一个为esp8266和esp32设计的简单易用Arduino配网库，可通过api配置WiFi网络，支持GET和POST请求配置，可通过微信小程序配网(小程序名：配网库) , 可通过默认网页配置WiFi网络，可自定义配网页面，可通过OTA网页升级程序固件。

Wine-CE (Chimera Edition) is a compatibility layer capable of running Windows applications on Cross-architecture paltform of Linux. It is base on Wine Project and Qemu Project.

plccore是一个基于rt-thread的可编程控制器（PLC）运行时内核

RIOT 是一个实时多线程的 IoT 操作系统，它支持支持物联网中常见的一系列设备，包括 8 位、16 位和 32 位微控制器

Github 镜像仓库。 原仓库地址：https://github.com/WKJay/DLT645

ReactOS是开源的Windows替代品.

Arduino舵机控制库 基于https://github.com/netlabtoolkit/VarSpeedServo优化初始姿态

Next generation WifiDog

A logic protocol generater device based on stm32. use lua script language

开源小满EasyXMen代码仓库。本仓为镜像仓，主仓地址：https://atomgit.com/easyxmen/XMen。

A C++ library of the linear conjugate gradient algorithms

芯片级裸机软件包，定义了一系列常用外设（如：UART、IIC、SPI、ADC等）的通用接口，基于通用接口的应用可以跨平台复用。

将 EtherCAT 移植到 Phytium 开发板(目前只支持E2000), 支持开发板集成的网卡; 用户手册详见如下链接 https://gitee.com/phytium_embedded/phytium-embedded-docs/blob/master/linux/ethercat