goens/lost-pop-lean

POP Memory Model in Lean

Language: Lean - Size: 552 KB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 8 - Forks: 0

lw-kong/Long-Term-Memory-in-RC

Reservoir-computing based associative memory and itinerancy for complex dynamical attractors

Language: MATLAB - Size: 24.5 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

PavlosTzitzos/esd-project

Embedded System Design Project

Language: C - Size: 92.5 MB - Last synced at: 5 months ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

herd/CoqCat

Coq formalisation of axiomatic memory models

Language: Coq - Size: 446 KB - Last synced at: over 2 years ago - Pushed at: almost 6 years ago - Stars: 7 - Forks: 0

dfava/mmgo

Operational Semantics of a Weak Memory Model with Channel Synchronization

Language: Python - Size: 82 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 1

jbayardo/eci2017-concurrency

Language: C++ - Size: 1.03 MB - Last synced at: 8 months ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0

melver/mc2lib

Memory consistency model checking and test generation library.

Language: C++ - Size: 341 KB - Last synced at: over 2 years ago - Pushed at: about 9 years ago - Stars: 8 - Forks: 3

Joe-Degs/software-machines

Data structures and algorithms used in building software machines.

Language: Go - Size: 1.1 MB - Last synced at: 7 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0