Alternatives and similar repositories for litmustestgen

Users that are interested in litmustestgen are comparing it to the libraries listed below

• johnwickerson / memalloy

  View on GitHub
  Memory consistency modelling using Alloy
  ☆31Dec 16, 2020Updated 5 years ago
• NVlabs / ptxmemorymodel

  View on GitHub
  ☆68May 29, 2019Updated 6 years ago
• daniellustig / riscv-memory-model

  View on GitHub
  A formalization of the RVWMO (RISC-V) memory model
  ☆36Jun 23, 2022Updated 3 years ago
• ctrippel / TriCheck

  View on GitHub
  ☆13Jun 22, 2017Updated 8 years ago
• daniellustig / coatcheck

  View on GitHub
  COATCheck
  ☆13Nov 4, 2018Updated 7 years ago
• reeselevine / webgpu-litmus

  View on GitHub
  ☆14Dec 12, 2025Updated 2 months ago
• daniellustig / pipecheck

  View on GitHub
  ☆19Dec 29, 2014Updated 11 years ago
• beckus / AlloyAnalyzer

  View on GitHub
  An unofficial copy of MIT's Alloy Analyzer model checking tool.
  ☆20May 30, 2013Updated 12 years ago
• ymanerka / rtlcheck

  View on GitHub
  RTLCheck
  ☆25Oct 9, 2018Updated 7 years ago
• uwplse / memsynth

  View on GitHub
  An advanced automated reasoning tool for memory consistency model specifications.
  ☆25Dec 6, 2021Updated 4 years ago
• hernanponcedeleon / Dat3M

  View on GitHub
  A verification tool for many memory models
  ☆111Updated this week
• mattsinc / heterosync

  View on GitHub
  HeteroSync is a benchmark suite for performing fine-grained synchronization on tightly coupled GPUs
  ☆31Sep 19, 2024Updated last year
• kevinsullivan / TLAPlusDocker

  View on GitHub
  ☆10Oct 11, 2022Updated 3 years ago
• amiq-consulting / fc4sc

  View on GitHub
  A header only C++11 library for functional coverage
  ☆36Oct 5, 2022Updated 3 years ago
• litmus-tests / litmus-tests-riscv

  View on GitHub
  RISC-V architecture concurrency model litmus tests
  ☆100Jan 21, 2026Updated 3 weeks ago
• ctrippel / checkmate

  View on GitHub
  ☆36Jun 19, 2019Updated 6 years ago
• mirob2005 / Huffman_Code

  View on GitHub
  Python implementation of the Huffman Code compression algorithm.
  ☆14Apr 18, 2013Updated 12 years ago
• saliei / XrayRealityScript

  View on GitHub
  VLESS-XTLS-uTLS-REALITY setup script.
  ☆11May 3, 2023Updated 2 years ago
• herd / herdtools7

  View on GitHub
  The Herd toolsuite to deal with .cat memory models (version 7.xx)
  ☆289Updated this week
• MingWEN-CS / CapGen

  View on GitHub
  ☆14Aug 21, 2020Updated 5 years ago
• pkuzqh / ICSE23Repair

  View on GitHub
  An implementation of Tare.
  ☆12Feb 23, 2024Updated last year
• janestreet / hardcaml_verify

  View on GitHub
  Hardcaml Verification Tools
  ☆14Jan 15, 2026Updated last month
• sudhanshusks / concept_map

  View on GitHub
  create concept map from textbook data
  ☆11May 4, 2018Updated 7 years ago
• vivekaxl / LexisNexis

  View on GitHub
  ☆10Jul 8, 2015Updated 10 years ago
• euhmeuh / rilouworld

  View on GitHub
  Decentralized game universe in which players can explore worlds made by others.
  ☆11Mar 11, 2023Updated 2 years ago
• racket / racket-pkg-website

  View on GitHub
  A frontend for the Racket Package Catalog.
  ☆13Feb 7, 2026Updated last week
• LuJH12 / Weaviate-use

  View on GitHub
  由于官网的教程写得比较复杂，所以笔者写一个简单的例子
  ☆10Jul 18, 2023Updated 2 years ago
• amosbe / spectre-without-shared-memory

  View on GitHub
  Spectre variant 1 exploitation via PRIME+PROBE
  ☆10May 22, 2019Updated 6 years ago
• ics-jku / epex-formal-rv32-model

  View on GitHub
  A RISC-V RV32 model ready for SMT program synthesis.
  ☆12Jun 23, 2021Updated 4 years ago
• llnl / GPU-FPX

  View on GitHub
  A Low-Overhead tool for Floating-Point Exception Detection in NVIDIA GPUs
  ☆12Dec 17, 2024Updated last year
• beehive-lab / beehive-spirv-toolkit

  View on GitHub
  Prototype for a SPIR-V assembler and dissasembler. It provides a composable Java interface for generating SPIR-V code at runtime.
  ☆13Oct 31, 2025Updated 3 months ago
• microsoft / weak-isolation-mock-db

  View on GitHub
  In-memory key-value store for testing applications against weak behaviors of a database.
  ☆11Feb 4, 2021Updated 5 years ago
• tanfiona / CausalTextMining_Lit

  View on GitHub
  Literature Review/ Summary of methods for extraction of causal relations from text
  ☆10Oct 6, 2021Updated 4 years ago
• DBCobra / CobraHome

  View on GitHub
  ☆11Mar 3, 2021Updated 4 years ago
• CTSRD-CHERI / CHERI-Litmus

  View on GitHub
  A tool to run litmus tests on bare-metal hardware
  ☆13Mar 13, 2017Updated 8 years ago
• LSaldyt / unitary-proposal

  View on GitHub
  My accepted! proposal for the unitary fund quantum computing grant. Also accepted as an abstract to a conference. See github.com/LSaldyt/…
  ☆12Jan 12, 2019Updated 7 years ago
• shift-society / salon

  View on GitHub
  Salon des Refusés - Dialectics for new computer science
  ☆11Feb 6, 2019Updated 7 years ago
• ispras / quix86

  View on GitHub
  An x86-64 instruction decoder.
  ☆16Mar 11, 2024Updated last year
• bennn / trivial

  View on GitHub
  Stronger types for a few Typed Racket operators
  ☆11Jan 25, 2024Updated 2 years ago