WebAssembly 1.0 (MVP) interpreter in Rust: decoder, validator, stack machine; passes the official wg-1.0 spec tests, fuzzed with cargo-fuzz
-
Updated
Oct 22, 2026 - WebAssembly
#
cortex9
Here are 5 public repositories matching this topic...
Epoch-based memory reclamation + lock-free hash map (Harris-Michael) in Rust, checked with loom, Miri and ThreadSanitizer. Part of Cortex-9.
rust concurrency hashmap lock-free loom miri epoch-based-reclamation thread-sanitizer memory-reclamation cortex9
-
Updated
Oct 22, 2026 - Rust
LSM-tree storage engine in Rust: WAL, memtable, SSTables with bloom filters, leveled compaction; crash-tested at every write point
rust storage-engine bloom-filter fault-injection crash-consistency lsm-tree write-ahead-log proptest compaction cortex9
-
Updated
Oct 22, 2026 - Rust
Crash-consistent B+tree on a redo WAL with fsync discipline; crashed at every write point with torn writes; proptest vs BTreeMap. Rust.
rust storage-engine fault-injection btree crash-consistency b-plus-tree write-ahead-log proptest cortex9
-
Updated
Oct 22, 2026 - Rust
Raft (election, replication, snapshots) under deterministic simulation: seeded drops/reorders/partitions/crashes + Porcupine-style linearizability checker. Rust, zero deps.
rust distributed-systems raft consensus fault-injection linearizability deterministic-simulation cortex9
-
Updated
Oct 22, 2026 - Rust
Add this topic to your repo
To associate your repository with the cortex9 topic, visit your repo's landing page and select "manage topics."