memory-model

Low-latency NUMA-aware fork-join thread-pool with zero allocations, syscalls, CAS, or false-sharing on the hot path for C, C++, Rust, and Zig 🍴

OSVVM Utility Library: AlertLogPkg, CoveragePkg, RandomPkg, ScoreboardGenericPkg, MemoryPkg, TbUtilPkg, TranscriptPkg, ...

High speed C/C++ based behavioural VHDL/Verilog co-simulation memory model

Memory consistency modelling using Alloy

[ECCVW2018] A Memory Model based on the Siamese Network for Long-term Tracking (MMLT)

Vyukov MPSC queue in C++20 with a written memory-model proof. Beats mutex, spinlock and boost::lockfree by 3.7–4.3× (WSL2, median of 5 runs). seq_cst cost measured: 8.8 → 20.6 ns per push. CI on x86-64 and AArch64. Push is wait-free; the queue is not lock-free, and says so.

Persistent memory scaffolding for AI agents - Trail, Destination, Improve, Retrospect, Intent, Probe. Self-built across 221 iterations; declared complete only when GPT, Claude, and Gemini independently found nothing left to change.

A free interactive Python course that shows what your code does in memory. Step through names, frames, references, the GIL, exceptions and imports as animated diagrams. Plain HTML, CSS and JS.

The RC11 memory model in Coq

A low level, modular bytecode, finite register VM focused on safety and extensibility, with plans for a Python like, statically typed language on top.

Labs for Introduction to Computing I

High-salience events slow the internal clock and reinforce memory. Quiet stretches accelerate the clock and let stale items decay. One model. One knob. Adaptive tempo.

Lean 4 infrastructure for proving program behavior from machine code, with explicit memory, OS resource, and concurrency models.

Learn Python by watching what happens in memory: an interactive stack/heap visualizer, sandbox, and 78-level challenge course (EN/DE/FA) — from print() to NumPy, Pandas, asyncio & threading.

"Interactive demo: Memory Model V3 with MLP, timestamps and bypass."

Memory-native Uniswap v4 hook primitive: FlowPulse emission boundaries and FMM-0 receipt-bound memory consistency for agent histories.

Robot Brain Lab — a graphical Python learning game. Be the robot's memory by hand, then teach it methods, then see the Python. Real CPython 3.14 in a worker via Pyodide; no backend.

Taming the beast of desync

Lock-free Chase-Lev work-stealing deque in Java, verified with jcstress and deliberate mutations (x86 only)