Projects in Awesome Lists tagged with cache-coherence
A curated list of projects in awesome lists tagged with cache-coherence .
https://github.com/vertexclique/cuneiform
Cache & In-Memory optimizations for Rust, revived from the slabs of Sumer.
cache-coherence cache-optimization concurrency data-structures rust-lang
Last synced: 30 Jun 2025
https://github.com/vertexclique/cuneiform-fields
Field level cache optimizations for Rust (no_std)
cache-coherence cache-optimization concurrency data-structures field-optimization no-std rust-lang
Last synced: 03 Sep 2025
https://github.com/mit-plv/hemiola
A Coq framework to support structural design and proof of hardware cache-coherence protocols
cache-coherence coq domain-specific-language hardware-verification proof-assistant
Last synced: 25 Apr 2025
https://github.com/notquis/cpp-match
cpp-match is a powerful C++ library for pattern matching and functional-style programming, allowing developers to write concise and expressive code for handling complex data structures efficiently. The library provides a clean and intuitive syntax for matching patterns, making it easier to work with data in a functional programming paradigm.
cache-coherence computer-vision cpp kernel-bypass multiplatform object-tracker object-tracking opencv prefix-trie single-header-lib trading trie-structure tries zero-copy
Last synced: 15 Jul 2025
https://github.com/kamilkrauze/stackvector
A cache-coherent stack allocated templated vector.
cache-coherence cmake cpp data-structures
Last synced: 14 Oct 2025
https://github.com/marcelofcandido/mesi-cache-coherence
Project about cache coherence using the MESI protocol. It is for the Computer Organization and Architecture II subject on CEFET-MG.
Last synced: 24 Oct 2025
https://github.com/mtumilowicz/java17-mesi-false-sharing-processor-optimisations-workshop
Introduction to cache coherence: false sharing, MESI protocol and vectorization
cache-coherence cache-coherency cache-invalidation cache-line cache-line-padding false-sharing jmh jmh-benchmarks mesi mesi-protocol multi-core-architectures processor-architecture simd simd-instructions simd-programming vectorization workshop workshop-materials writeback writethrough
Last synced: 16 Jun 2026