goodell / cppmemLinks
totally unofficial git repo containing sources for the CppMem tool available at http://svr-pes20-cppmem.cl.cam.ac.uk/cppmem/help.html and discussed in the Batty et al. paper at POPL 2011 (http://www.cl.cam.ac.uk/~pes20/cpp/popl085ap-sewell.pdf)
☆26Updated 12 years ago
Alternatives and similar repositories for cppmem
Users that are interested in cppmem are comparing it to the libraries listed below
Sorting:
- ☆21Updated 6 years ago
- Sample implementation of C++20 atomic_wait/notify☆59Updated 6 years ago
- Automatically exported from code.google.com/p/google-concurrency-library☆35Updated 9 years ago
- Literal Logging for C++☆86Updated 7 years ago
- Implementation of hash_append proposal☆67Updated 8 years ago
- Fast, shared, upgradeable, non-recursive and non-fair mutex☆34Updated 7 years ago
- EDSL for C++ to make just-in-time code generation easier☆85Updated 2 years ago
- A C++ library that simplifies working with tuples, variants, and more through argument list generation and the ability to convert from ru…☆62Updated 5 years ago
- A proposal for a executor programming model for ISO C++☆141Updated 5 years ago
- Boost.Sort☆56Updated 3 weeks ago
- fast prime sieve and hash algorithm☆38Updated last month
- Compile-time-efficient proof-of-concept implementation for std::tuple☆94Updated 4 years ago
- C++ interface to CPU affinity management☆30Updated 7 years ago
- Helpers for preventing the static initialization order fiasco of global variables.☆46Updated 5 years ago
- Experimental support for contracts programming in clang++☆28Updated 6 years ago
- A persistent hash array-mapped trie for C++☆91Updated 2 years ago
- ☆128Updated 2 years ago
- Core abstractions for dealing with concurrency in C++☆67Updated last year
- Support for С++20 std::stop_token to interrupt the blocking Linux syscalls without throwing any exception.☆20Updated 5 years ago
- Compile-time Checked, Type-Safe Formatting in C++14☆37Updated 8 years ago
- ☆26Updated 5 years ago
- Effective Memory Reclamation☆61Updated 5 years ago
- c++ wrapper around libpapi☆80Updated 7 years ago
- a small lightweight std::execution work-alike☆65Updated 6 months ago
- ☆109Updated last year
- devector and batch_deque containers for C++. See more at: http://erenon.hu/double_ended☆15Updated 7 years ago
- Quick 'n' Dirty benchmarks for various integer parsing methods in C++☆41Updated 5 years ago
- A prototype implementation of the executors proposal☆85Updated 6 years ago
- C++ framework for rapid server development☆76Updated last year
- A collection of formatting benchmarks☆50Updated last month