下载分类
功能分类:
语言:
功能分类:
语言:
当前位置：
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
Redis 5.0是一个高性能的key-value数据库。redis的出现，很大程度补偿了memcached这类keyvalue存储的不足，在部分场合可以对关系数据库起到很好的补充作用。它提供了Python，Ruby，Erlang，PHP客户端，使用很方便。Redis 优势1、性能极高 &ndas
ScyllaDB数据库是用 C++ 重写的 Cassandra，每节点每秒处理 100 万 TPS。ScyllaDB 完全兼容 Apache Cassandra，拥有比 Cassandra 多 10x 倍的吞吐量，降低了延迟。ScyllaDB数据库是实时大数据数据库，与Apache Cassand
OpenArkCompiler是来自华为方舟编译器的开源项目，面向多设备、支持多语言的统一编程平台。OpenArkCompiler方舟编译器四个技术特点：能够将不同语言代码编译成一套可执行文件，在运行环境中高效执行：支持多语言联合优化、消除跨语言调用开销；更轻量的语言运行时；软硬协同充分发挥硬件能
Squid cache（简称为Squid）是一个流行的自由软件（GNU通用公共许可证）的代理服务器和Web缓存服务器。Squid有广泛的用途，从作为网页服务器的前置cache服务器缓存相关请求来提高Web服务器的速度，到为一组人共享网络资源而缓存万维网，域名系统和其他网络搜索，到通过过滤流量帮助网
PostgreSQL 14(也叫 Postgres)是一个自由的对象-关系数据库服务器(数据库管理系统)，它在灵活的 BSD-风格许可证下发行。它提供了相对其他开放源代码数据库系统(比如 MySQL 和 Firebird)，和对专有系统比如 Oracle、Sybase、IBM 的 DB2 和 Mi
PostgreSQL 13(也叫 Postgres)是一个自由的对象-关系数据库服务器(数据库管理系统)，它在灵活的 BSD-风格许可证下发行。它提供了相对其他开放源代码数据库系统(比如 MySQL 和 Firebird)，和对专有系统比如 Oracle、Sybase、IBM 的 DB2 和 M
Zabbix分布式系统监视是一个企业级解决方案，支持实时监控数千台服务器，虚拟机和网络设备，采集百万级监控指标。zabbix的主要特点：问题检测定义智能阈值根据采集到的度量值自动检测问题的状态，而无需连续观察采集到的度量值1.高度灵活的自定义选项2.独立的问题条件和解决条件3.多个严重等级4.根故
Zabbix是一个基于 WEB 界面的提供分布式系统监视以及网络监视功能的企业级的开源解决方案。zabbix能监视各种网络参数，保证服务器系统的安全运营；并提供柔软的通知机制以让系统管理员快速定位/解决存在的各种问题。
PostgreSQL 12(也叫 Postgres)是一个自由的对象-关系数据库服务器(数据库管理系统)，它在灵活的 BSD-风格许可证下发行。它提供了相对其他开放源代码数据库系统(比如 MySQL 和 Firebird)，和对专有系统比如 Oracle、Sybase、IBM 的 DB2 和 M
PostgreSQL 11(也叫 Postgres)是一个自由的对象-关系数据库服务器(数据库管理系统)，它在灵活的 BSD-风格许可证下发行。它提供了相对其他开放源代码数据库系统(比如 MySQL 和 Firebird)，和对专有系统比如 Oracle、Sybase、IBM 的 DB2 和 Mi
Zabbix分布式系统监视是一个企业级解决方案，支持实时监控数千台服务器，虚拟机和网络设备，采集百万级监控指标。zabbix的主要特点：问题检测定义智能阈值根据采集到的度量值自动检测问题的状态，而无需连续观察采集到的度量值1.高度灵活的自定义选项2.独立的问题条件和解决条件3.多个严重等级4.根故
Zabbix分布式系统监视是一个基于 WEB 界面的提供分布式系统监视以及网络监视功能的企业级的开源解决方案。zabbix能监视各种网络参数，保证服务器系统的安全运营；并提供柔软的通知机制以让系统管理员快速定位/解决存在的各种问题。
ScyllaDB数据库是用 C++ 重写的 Cassandra，每节点每秒处理 100 万 TPS。ScyllaDB 完全兼容 Apache Cassandra，拥有比 Cassandra 多 10x 倍的吞吐量，降低了延迟。ScyllaDB数据库是实时大数据数据库，与Apache Cassand
Electron 16是GitHub发布的跨平台桌面应用开发工具，支持Web技术开发桌面应用，其本身是基于C++开发的，GUI核心来自于Chrome，而JavaScript引擎使用v8。Electron 16 发行说明突发的变化crashReporter API现在由Linux上的Crashpad
yuzu 是 Citra 的创造者为任天堂 Switch 开发的一个实验性的开源模拟器。它是用 C++ 编写的，考虑到了可移植性，并积极维护 Windows 和 Linux 的构建。
Siege是一个开源的压力测试和评测工具，设计用于WEB开发这评估应用在压力下的承受能力：可以根据配置对一个WEB站点进行多用户的并发访问，记录每个用户所有请求过程的相应时间，并在一定数量的并发访问下重复进行。大多数功能都可以通过命令行选项进行配置，这些命令行选项还包括默认值，以最大程度地减少程序
curve是网易开源的高性能、高可用、高可靠分布式存储系统，具有非常良好的扩展性。基于该存储底座可以打造适用于不同应用场景的存储系统，如块存储、对象存储、云原生数据库等。curve的设计开发始终围绕三个理念：一是顺应当前存储硬件设施发展趋势，做到软硬件结合打造顶级的存储产品；二是秉持“
Ceph是加州大学Santa Cruz分校的Sage Weil（DreamHost的联合创始人）专为博士论文设计的新一代自由软件分布式文件系统。自2007年毕业之后，Sage开始全职投入到Ceph开发之中，使其能适用于生产环境。Ceph的主要目标是设计成基于POSIX的没有单点故障的分布式文件系统
下载排行
