memory-model 开源项目推荐（37 个）

ashvardanian /ForkUnion

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 /OSVVM

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

wyvernSemi /mem_model

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

johnwickerson /memalloy

Memory consistency modelling using Alloy

bismex /MMLT

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

tlozttok /AVM1

A runtime where LLM inference is the primitive unit of computation — conversations are processes, prompts are in-memory data, a system image is one JSON ｜ 以 LLM 推理为原始计算单元的运行时

nisgemML /mpsc-queue

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.

ntholm86 /principles-of-earned-autonomy-skills-suite

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.

inboxpraveen /Py-Internals

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.

qladevez /rc11

The RC11 memory model in Coq

Axmouth /solid-snake

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

michpara /ITI1120-Introduction-to-Computing-I

Labs for Introduction to Computing I

WhatsYourWhy /The-Temporal-Gradient

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.

Irvinwop /eDieSeL

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

alisadeghiaghili /learn-python

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.

Heward165 /DynamicEngramSimulator

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

anthonystaiger8-bit /memory-model-demo

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

myfjin /aura-router

该项目在 GitHub 上没有填写描述

Banyc /futex

Taming the beast of desync

FlowmemoryAI /flowmemory-uniswap-v4-hooks

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