herd/herdtools7

Automatically exported from code.google.com/p/relacy

Ramulator 2.0 is a modern, modular, extensible, and fast cycle-accurate DRAM simulator. It provides support for agile implementation and evaluation of new memory system designs (e.g., new DRAM standards, emerging RowHammer mitigation techniques). Described in our IEEE CAL 2023 paper: https://arxiv.org/pdf/2308.11030.

DRAMSys a SystemC TLM-2.0 based DRAM simulator.

Official repo for Memtest86+

Suite for benchmarking malloc implementations.

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

Specula: An agentic tool for finding deep bugs in system code using TLA+

CXLMemSim: Practical Performance Simulation and Characterization of CXL 3.0 Memory Systems

This is the stress-ng upstream project git repository. stress-ng will stress test a computer system in various selectable ways. It was designed to exercise various physical subsystems of a computer as well as the various operating system kernel interfaces.