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)
☆26Feb 15, 2013Updated 13 years ago
Alternatives and similar repositories for cppmem
Users that are interested in cppmem are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Python bindings for Boost.Interprocess☆10Dec 20, 2016Updated 9 years ago
- C++ mutex collections, cross-platform header-only C++11 (or later) library.☆123Mar 28, 2022Updated 3 years ago
- A 1014 Byte ELF64/DOS.COM/GameBoy/Megadrive/PDF/ARJ/PKZIP/7zip Polyglot Binary☆13Sep 8, 2022Updated 3 years ago
- ☆11Aug 1, 2021Updated 4 years ago
- Ocamlgraph overlay for llvm☆20Apr 4, 2015Updated 10 years ago
- GN meta-build system parser, static code model and navigable code browser☆13Aug 8, 2022Updated 3 years ago
- make_heap and sort_heap for a poplar heap with O(1) extra memory☆40Mar 13, 2026Updated last week
- Some Benchmark and testing around Libuv and Rust MIO libraries☆11Mar 31, 2019Updated 6 years ago
- Compressed Bloom Filters (Golomb-compressed sequences, with indices)☆17May 19, 2013Updated 12 years ago
- Aerie: a regex-like engine nested word grammars☆16Feb 5, 2022Updated 4 years ago
- Cross platform programmers editor, uses the CopperSpice libraries☆23Jan 27, 2026Updated last month
- Yet another component system☆12Jul 30, 2022Updated 3 years ago
- An Ansible role for installing PostgreSQL.☆10Jan 27, 2020Updated 6 years ago
- 高性能期货交易框架☆22Aug 24, 2017Updated 8 years ago
- A UDP-Only Winsock RIO C++ Network Library☆11Jan 4, 2018Updated 8 years ago
- Generate Serialization Functions for C++ classes and structs using python and libclang☆12Feb 24, 2018Updated 8 years ago
- LLVM assembly syntax highlighting and snippets☆14Jan 24, 2026Updated last month
- A simple tool to share/backup git stashes☆12Dec 9, 2012Updated 13 years ago
- A micro-kernel operating system based on the Barrelfish CPU-driver.☆21Mar 6, 2018Updated 8 years ago
- C++11TMP compile time C compiler☆27Dec 24, 2017Updated 8 years ago
- Feed-forward Bloom filters☆53Jun 7, 2011Updated 14 years ago
- Postgres extensions in C++☆16Sep 27, 2025Updated 5 months ago
- NUMA-Aware Reader-Writer Locks☆19Jun 12, 2014Updated 11 years ago
- Sample implementation of C++20 atomic_wait/notify☆62Sep 7, 2019Updated 6 years ago
- Run ctest inside gdb with fixtures and environment☆11Jan 21, 2025Updated last year
- for Windows Malware Analysis☆16May 14, 2020Updated 5 years ago
- Tool for testing programs with C/C++11 Atomics☆11Dec 9, 2024Updated last year
- Coordination-free distributed state kernel with nanosecond latency☆39Feb 2, 2026Updated last month
- A tool to extract RTTI information from Delphi executables, written in pure Python☆23Mar 11, 2020Updated 6 years ago
- ☆14May 27, 2022Updated 3 years ago
- RLU resizable hash-table☆17Aug 24, 2015Updated 10 years ago
- C++ compile-time programming (serialization, reflection, code modification, enum to string, better enum, enum to json, extend or parse l…☆42Sep 9, 2021Updated 4 years ago
- Fused multiply-add (with a single rounding) for Python.☆20Aug 14, 2024Updated last year
- ☆10May 26, 2016Updated 9 years ago
- A "phase-fair" reader-writer spinlock☆11Jan 30, 2023Updated 3 years ago
- OSMesa source code and cargo build scripts to compile on Linux and Mac☆13Mar 20, 2024Updated 2 years ago
- A short proof-of-concept how to decrypt ssl traffic WITHOUT the server private TLS certificate☆16Oct 16, 2018Updated 7 years ago
- A reusable, extensible, and efficient C++ implementation of the Foster B-tree data structure☆15Jun 26, 2019Updated 6 years ago
- Cosmo is a language replacing awful C++'s compile-time magics☆12Jun 14, 2025Updated 9 months ago