goodell / cppmem
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
- ☆20Updated 6 months ago
- A proposal for a futures programming model for ISO C++☆22Updated 6 years ago
- Fast, shared, upgradeable, non-recursive and non-fair mutex☆30Updated 6 years ago
- Sample implementation of C++20 atomic_wait/notify☆59Updated 5 years ago
- devector and batch_deque containers for C++. See more at: http://erenon.hu/double_ended☆15Updated 7 years ago
- ☆21Updated 6 years ago
- A C++ library that simplifies working with tuples, variants, and more through argument list generation and the ability to convert from ru…☆61Updated 4 years ago
- EDSL for C++ to make just-in-time code generation easier☆86Updated 2 years ago
- Literal Logging for C++☆84Updated 7 years ago
- ☆26Updated 5 years ago
- Support for С++20 std::stop_token to interrupt the blocking Linux syscalls without throwing any exception.☆19Updated 4 years ago
- A C++ memory pool that is Boost-friendly and performance oriented (zero-malloc).☆22Updated 3 weeks ago
- Experimental patches to implement missing C++20 modules features for the clang/LLVM toolchain.☆23Updated 3 years ago
- Boost.Sort☆52Updated this week
- C++17 sports two low-level character conversion functions, std::from_chars and std::to_chars, but they have a usage model that can be ea…☆8Updated 5 years ago
- Automatically exported from code.google.com/p/google-concurrency-library☆35Updated 9 years ago
- The Fancy Named Parameters Library☆31Updated 2 weeks ago
- Composable Data and Type Generators for C++☆10Updated 6 years ago
- Optimized for systems that read and write large blobs.☆12Updated 10 years ago
- a small lightweight std::execution work-alike☆65Updated last month
- C++20 Coroutines and io_uring☆50Updated 2 years ago
- Compile-time Checked, Type-Safe Formatting in C++14☆36Updated 8 years ago
- Task graph-based asynchronous programming system using C++ coroutine☆89Updated last year
- Compiler-assisted variable size benchmarking for the study of C++ metaprogram compile times.☆25Updated 7 months ago
- C++ interface to CPU affinity management☆30Updated 7 years ago
- Compile-time-efficient proof-of-concept implementation for std::tuple☆94Updated 3 years ago
- `std::execution`, the proposed C++ framework for asynchronous and parallel programming.☆21Updated last year
- P1160 Add Test Polymorphic Memory Resource To Standard Library☆38Updated 7 months ago
- A collection of formatting benchmarks☆47Updated 3 months ago
- A basic implementation of C++ Concepts in C++14 (CppCon 2016 Lightning Talks)☆37Updated 8 years ago