下载分类
功能分类:
语言:
功能分类:
语言:
当前位置：
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的没有单点故障的分布式文
REDM开源界面框架是一套基于商业化标准的开源directui界面框架，不仅能提供完善的项目管理方案、详细的文档框架，也可轻松协助完成可视化界面设计，其核心库的稳定性已在内部多个大型商化项目中通过验证。特点：DM库有详细的文档，详细的框架图：DM\Docs\DM详细文档.doc；DM\Docs\D
EpicFV作为全球首款开源形式验证工具，“灵验”在用户输入RTL设计和SystemVerilog断言描述设计规范的情况下，可以自动进行语法解析、设计综合、断言解析，并且基于分布式计算理论自动调度引擎求解断言，加速验证收敛，从而降低形式验证工具的使用门槛。随着芯片设计行业的高速发展，行业对芯片验证
EpicSim开源仿真器是一个 Verilog 编译器。适合作为模拟器使用，推荐在 Red Hat 和 CentOS 下运行。EpicSim开源仿真器亮点：1、最快的动态仿真速度，可获得至少2倍于iVerilog的性能提升2、进一步提升的软件质量和调试能力，提升了对标准波形格式的支持，以及基本的V
GOSP框架是一个能提供类似Qt的API接口，仅需要几百KB的硬件资源（比Qt小的多），能运行在Qt不支持的低配置硬件上（对Qt生态形成补充），适用于嵌入式GUI软件开发。SoC/单片机/MCU/TV/STB/电视机/机顶盒/linux/framebuffer/GUI framework/GUI
HyperLPR 高性能开源中文车牌识别框架是一个开源的、基于深度学习高性能中文车牌识别库，由北京智云视图科技有限公司开发，支持PHP、C/C++、Python语言，Windows/Mac/Linux/Android/IOS 平台。车牌识别是计算机视频图像识别技术在车辆牌照识别中的一种应用。在机器
ScyllaDB数据库是用 C++ 重写的 Cassandra，每节点每秒处理 100 万 TPS。ScyllaDB 完全兼容 Apache Cassandra，拥有比 Cassandra 多 10x 倍的吞吐量，降低了延迟。ScyllaDB数据库是实时大数据数据库，与Apache Cassand
下载排行
