Alternatives and similar repositories for ROOT-Sim

Users that are interested in ROOT-Sim are comparing it to the libraries listed below

• nkallima / Synch-Framework
  An open-source framework for concurrent data-structures and benchmarks. 🛠️ Latest Dev Branch: v3.4.0-dev 🚀 https://github.com/nkallima/…
  ☆68Updated 2 months ago
• ROSS-org / ROSS
  Rensselaer's Optimistic Simulation System
  ☆96Updated last week
• sbeamer / gapbs
  GAP Benchmark Suite
  ☆354Updated 3 months ago
• graph500 / graph500
  Graph500 reference implementations
  ☆175Updated 3 years ago
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆183Updated 3 years ago
• trolando / sylvan
  Implementation of multi-core (binary) decision diagrams
  ☆75Updated last year
• efficient / catbench
  CATBench, the Intel Cache Allocation Technology benchmarking suite described in our tech report, "Simple Cache Partitioning for Networked…
  ☆11Updated 7 years ago
• sosy-lab / cpachecker
  CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
  ☆242Updated this week
• derekbruening / bargraph
  Clustered/Stacked Filled Bar Graph Generator
  ☆34Updated 8 years ago
• stp / stp
  Simple Theorem Prover, an efficient SMT solver for bitvectors
  ☆545Updated 9 months ago
• HewlettPackard / nvthreads
  ☆27Updated 7 years ago
• CSL-KU / IsolBench
  A set of synthetic benchmarks used in IEEE RTAS 2016 paper by Prathap et al.,
  ☆16Updated this week
• usi-verification-and-security / opensmt
  The opensmt solver
  ☆84Updated 2 weeks ago
• KarlsruheGraphGeneration / KaGen
  KaGen: Communication-free Massively Distributed Graph Generators
  ☆39Updated this week
• rlu-sync / rlu
  Read-Log-Update: A Lightweight Synchronization Mechanism for Concurrent Programming
  ☆48Updated 9 years ago
• Hespian / EdgeHierarchies
  More Hierarchy in Route Planning Using Edge Hierarchies
  ☆14Updated 5 years ago
• brandenburg / schedcat
  The Schedulability Test Collection And Toolkit
  ☆39Updated 4 years ago
• smackers / smack
  SMACK Software Verifier and Verification Toolchain
  ☆438Updated 2 months ago
• pmem / pmem.github.io
  The pmem.io Website
  ☆17Updated 5 months ago
• bamos / parsec-benchmark
  An unofficial mirror of the core PARSEC 3.0 benchmark suite with patches to run on x86_64 Arch Linux and generalize builds.
  ☆113Updated 2 years ago
• Boolector / boolector
  A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
  ☆350Updated 10 months ago
• kittobi1992 / cluster_editing
  KaPoCE is a framework for solving the cluster editing problem that asks to transform an input graph into a cluster graph (a disjoint unio…
  ☆10Updated 2 years ago
• trigonak / ccbench
  A tool for measuring the cache-coherence latencies of a processor (i.e., the latencies of loads, stores, CAS, FAI, TAS, and SWAP).
  ☆78Updated 3 years ago
• mabseher / htd
  A small but efficient C++ library for computing (customized) tree and hypertree decompositions.
  ☆55Updated last year
• patrickmarlier / tinystm
  Official public repository for TinySTM (tmware.org)
  ☆48Updated 10 years ago
• SRI-CSL / yices2
  SRI Yices SMT Solver
  ☆413Updated this week
• jacobratkiewicz / webgraph
  Webgraph++ code (http://cnets.indiana.edu/groups/nan/webgraph/)
  ☆31Updated 10 months ago
• goatdb / llama
  LLAMA Graph Analytics Engine
  ☆41Updated 7 years ago
• jdmccalpin / periodic-performance-counters
  A low-overhead tool to periodically collect system-wide hardware performance counters on Intel64 systems.
  ☆32Updated 2 years ago
• seahorn / seahorn
  SeaHorn Verification Framework
  ☆454Updated last month