下载分类
功能分类:
语言:
功能分类:
语言:
当前位置：
RT-Thread诞生于2006年，是一款以开源、中立、社区化发展起来的物联网操作系统。 RT-Thread主要采用 C 语言编写，浅显易懂，且具有方便移植的特性（可快速移植到多种主流 MCU 及模组芯片上）。RT-Thread把面向对象的设计方法应用到实时系统设计中，使得代码风格优雅、架构清晰、
OpenResty是一个通过Lua扩展NGINX实现的可伸缩的Web平台。OpenResty（也称为 ngx_openresty）是一个基于Nginx与Lua的高性能Web平台，其内部集成了大量精良的Lua库、第三方模块以及大多数的依赖项。用于方便地搭建能够处理超高并发、扩展性极高的动态Web应用
Zabbix是一个基于 WEB 界面的提供分布式系统监视以及网络监视功能的企业级的开源解决方案。zabbix能监视各种网络参数，保证服务器系统的安全运营；并提供柔软的通知机制以让系统管理员快速定位/解决存在的各种问题。zabbix由2部分构成，zabbix server与可选组件zabbix ag
Ceph 14是加州大学Santa Cruz分校的Sage Weil（DreamHost的联合创始人）专为博士论文设计的新一代自由软件分布式文件系统。自2007年毕业之后，Sage开始全职投入到Ceph开发之中，使其能适用于生产环境。Ceph的主要目标是设计成基于POSIX的没有单点故障的分布式文
EpicFV作为全球首款开源形式验证工具，“灵验”在用户输入RTL设计和SystemVerilog断言描述设计规范的情况下，可以自动进行语法解析、设计综合、断言解析，并且基于分布式计算理论自动调度引擎求解断言，加速验证收敛，从而降低形式验证工具的使用门槛。随着芯片设计行业的高速发展，行业对芯片验证
EpicSim开源仿真器是一个 Verilog 编译器。适合作为模拟器使用，推荐在 Red Hat 和 CentOS 下运行。EpicSim开源仿真器亮点：1、最快的动态仿真速度，可获得至少2倍于iVerilog的性能提升2、进一步提升的软件质量和调试能力，提升了对标准波形格式的支持，以及基本的V
ScyllaDB数据库是用 C++ 重写的 Cassandra，每节点每秒处理 100 万 TPS。ScyllaDB 完全兼容 Apache Cassandra，拥有比 Cassandra 多 10x 倍的吞吐量，降低了延迟。ScyllaDB数据库是实时大数据数据库，与Apache Cassand
下载排行
