https://github.com/goens/lost-pop-lean

POP Memory Model in Lean

heterogeneous lean4 memory-models weak-memory-models

Last synced: 31 Oct 2025

https://github.com/jbayardo/eci2017-concurrency

concurrency cpp cpp11 herd7 java litmus memory-models

Last synced: 29 Apr 2026

https://github.com/pavlostzitzos/esd-project

Embedded System Design Project

arm armulator c digital-image-processing embedded-systems memory-models optimization

Last synced: 11 Apr 2025

https://github.com/joe-degs/software-machines

Data structures and algorithms used in building software machines.

algorithms c data-structures golang heap linux low-level machines memory-models virtual-machines virtualization von-neumann-model

Last synced: 06 May 2026