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 — beats mutex/spinlock/boost::lockfree::queue by 3.7-4.3x on real hardware (median of 5 runs), formal memory-ordering proof, 18 TSan litmus tests, sustained-contention benchmarks, and a tick-to-trade pipeline routed through the queue.

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.

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.

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.

Labs for Introduction to Computing I

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

Reproducible C# experiments for sparse, overlapping, and dynamic memory engrams

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.

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

Taming the beast of desync

https://openjdk.java.net/projects/code-tools/jcstress/

Deterministic, browser-based 3D demo of tiered memory dynamics inside a simplex-bounded tetrahedron. Nodes consolidate across tiers while a pre-clamp out-of-bounds (OOB) signal is monitored with soft/hard events, hysteresis, and cooldown. Static Three.js (no build). Live demo included.

Interactive, gamified tutorial for reading Python's memory model, built on UofT MemoryViz. The interpreter is the answer key: 151 of 219 grading contracts are derived from real CPython traces.