melver / mc2lib Star 13 Code Issues Pull requests Memory consistency model checking and test generation library. simulation semantics verification cpp11 header-only computer-architecture test-generation memory-models memory-consistency Updated Oct 14, 2016 C++
herd / CoqCat Star 9 Code Issues Pull requests Coq formalisation of axiomatic memory models coq concurrency memory-models Updated Dec 13, 2019 Coq
lw-kong / Long-Term-Memory-in-RC Star 6 Code Issues Pull requests Reservoir-computing based associative memory and itinerancy for complex dynamical attractors reservoir-computing nonlinear-dynamics memory-models Updated May 14, 2024 MATLAB
goens / lost-pop-lean Star 4 Code Issues Pull requests POP Memory Model in Lean heterogeneous memory-models weak-memory-models lean4 Updated Nov 4, 2024 Lean
dfava / mmgo Star 2 Code Issues Pull requests Operational Semantics of a Weak Memory Model with Channel Synchronization golang memory-models k-framework channel-synchronization weak-memory-models Updated Feb 19, 2018 Python
jbayardo / eci2017-concurrency Star 1 Code Issues Pull requests java cpp concurrency cpp11 litmus memory-models herd7 Updated Aug 25, 2017 C++
Joe-Degs / software-machines Star 0 Code Issues Pull requests Data structures and algorithms used in building software machines. c linux golang algorithms virtualization machines data-structures heap low-level virtual-machines memory-models von-neumann-model Updated Jun 2, 2021 Go
PavlosTzitzos / esd-project Star 0 Code Issues Pull requests Embedded System Design Project c arm optimization embedded-systems digital-image-processing memory-models armulator Updated Feb 12, 2024 C
nmraz / bakery Star 0 Code Issues Pull requests A simple example of how memory ordering can go wrong on modern hardware synchronization bakery-algorithm memory-models Updated Apr 15, 2024 Rust