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.

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.

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

Lean 4 eDSLs and formal verification for GNU C23, GNU C++26, LLVM IR, assembly, and OS semantics; compiler-output validation and explicit cost models.

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

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

Taming the beast of desync

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.

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