An open API service indexing awesome lists of open source software.

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

cache-coherence mesi-protocol

Last synced: 24 Oct 2025