ARG

@ARG1024

ARG 暂无简介

ARG的个人主页
/
关注的仓库(46)

    Watch ARG/EpicFV forked from 芯华章科技股份有限公司/EpicFV

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

    最近更新: 3年多前

    Watch ARG/OpenEDI forked from NiCEDA/OpenEDI

    通过OpenEDI开源数据基础构件,用户将可以访问完全开源开放、接口丰富的、统一高效的数据库,算法库及计算架构,利用高效的内存与符号表管理功能,进行层次化设计和增量设计。 由于基于此基础构件开发的EDA工具之间没有数据壁垒,IC芯片的设计者能流畅地在不同设计工具之间切换而不用担心数据丢失,从而提高设计效率,缩短产品研发乃至上市时间,抢占市场。 EDA工具的开发者也能受益于该数据库,激发自己的灵感,设计出顶尖的点工具,从而推动整个IC设计产业链的发展。

    最近更新: 3年多前

    Watch ARG/EpicSim forked from 芯华章科技股份有限公司/EpicSim

    EpicSim is a Verilog compiler. It is suitable for use as a simulator

    最近更新: 3年多前

    Watch ARG/TencentOS-tiny forked from 腾讯开源/TencentOS-tiny

    TencentOS tiny 是腾讯面向物联网领域开发的实时操作系统,具有低功耗,低资源占用,模块化,安全可靠等特点,可有效提升物联网终端产品开发效率

    最近更新: 3年多前

    Watch ARG/IoTSharp forked from IoTSharp/IoTSharp

    IoTSharp 是一个 基于.Net Core 开源的物联网基础平台, 支持 HTTP、MQTT 、CoAp 协议, 属性数据和遥测数据协议简单类型丰富,是一个用于数据收集、处理、可视化与设备管理的 IoT 平台 QQ群:63631741

    最近更新: 3年多前

    Watch ARG/TDengine forked from TDengine/TDengine

    TDengine是一个开源的专为物联网、车联网、工业互联网、IT运维等设计和优化的大数据平台

    最近更新: 3年多前

    Watch ARG/TCP Gateway forked from iBytePro/TCP Gateway

    通过在云端进行智能边缘核心设备的建立、身份制定、策略规则制定、函数编写,然后生成配置文件下发;物联网设备网关技术架构设计(Session 管理、心跳管理、数据上行、数据下行)

    最近更新: 3年多前

    Watch ARG/yomo forked from YoMo/yomo

    YoMo是一个Streaming Serverless Framework,支持低时延边缘计算应用的开发。YoMo基于QUIC Transport和FRP范式,已被应用在工业互联网、物联网领域。

    最近更新: 3年多前

    Watch ARG/GAAS forked from Generalized_Aviation/GAAS

    为 VTOL 和无人机设计的开源自主飞行开发框架

    最近更新: 3年多前

    Watch ARG/XTDrone forked from 肖昆/XTDrone

    基于PX4、ROS和Gazebo的无人机通用仿真平台

    最近更新: 3年多前

搜索帮助