Игрушечный, но душный репозиторий около Memory Models
-
Updated
Apr 7, 2026 - Rust
Игрушечный, но душный репозиторий около Memory Models
Memory consistency model checking and test generation library.
Reservoir-computing based associative memory and itinerancy for complex dynamical attractors
POP Memory Model in Lean
[RU] Статьи и примеры для доклада "Эволюция моделей памяти"
Operational Semantics of a Weak Memory Model with Channel Synchronization
Data structures and algorithms used in building software machines.
Embedded System Design Project
A simple example of how memory ordering can go wrong on modern hardware
A C++ concurrency learning repository with implementations of various synchronization primitives and concurrent data structures.
Most identity systems do not fail because they lack data. They fail because they were never designed to preserve continuity under changing contexts.
Add a description, image, and links to the memory-models topic page so that developers can more easily learn about it.
To associate your repository with the memory-models topic, visit your repo's landing page and select "manage topics."