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
Sorting:
- ☆12Jan 12, 2018Updated 8 years ago
- ☆11Aug 1, 2021Updated 4 years ago
- A micro-kernel operating system based on the Barrelfish CPU-driver.☆21Mar 6, 2018Updated 7 years ago
- A simple portable C test runner☆21Feb 21, 2026Updated last week
- C++ boids simulation - Jyt hot-reload playground☆18Jun 8, 2016Updated 9 years ago
- Cross platform programmers editor, uses the CopperSpice libraries☆23Jan 27, 2026Updated last month
- C++ mutex collections, cross-platform header-only C++11 (or later) library.☆124Mar 28, 2022Updated 3 years ago
- C++11TMP compile time C compiler☆27Dec 24, 2017Updated 8 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆34Oct 22, 2019Updated 6 years ago
- My personal blog, I Like Big Bits☆13Jan 21, 2025Updated last year
- Blend text in a HLSL shader and have it look like native DirectWrite☆45Oct 24, 2025Updated 4 months ago
- Type-Erasure with merged concepts☆19Oct 19, 2014Updated 11 years ago
- Some useful tools for mesh processing☆11Sep 9, 2025Updated 5 months ago
- Run ctest inside gdb with fixtures and environment☆11Jan 21, 2025Updated last year
- Umbrella repository for the Jamoma platform☆32Nov 24, 2015Updated 10 years ago
- Controlled Invariant Sets in Two Moves☆14Dec 21, 2021Updated 4 years ago
- Minimal C port of UTF8-CPP☆12Jun 2, 2019Updated 6 years ago
- Compressed Bloom Filters (Golomb-compressed sequences, with indices)☆17May 19, 2013Updated 12 years ago
- An open source 3GPP LTE implementation. (GitHub import of https://sourceforge.net/projects/openlte/)☆10Mar 7, 2017Updated 8 years ago
- make_heap and sort_heap for a poplar heap with O(1) extra memory☆40Jul 5, 2024Updated last year
- nonholonomic improved RRT path planning using BSpline and heuristic function☆10Aug 7, 2015Updated 10 years ago
- Emacs major mode for Uiua, a stack-based array language, powered by tree-sitter☆11Nov 21, 2025Updated 3 months ago
- Git and Mercurial server-side webhooks for triggering AppVeyor builds☆11May 24, 2018Updated 7 years ago
- An example of KHR raytracing using ash and rust-gpu.☆12Feb 24, 2024Updated 2 years ago
- Tetris implemented in lua/love2d using ECS☆10May 8, 2019Updated 6 years ago
- An implementation of the maxflow algorithm by Yuri Boykov and Vladimir Kolmogorov.☆12Nov 26, 2014Updated 11 years ago
- Jump to better conclusions: SCAN both left and right☆11Jan 24, 2019Updated 7 years ago
- 一款基于python opencv 4.0开发的美颜程序。用以学习图像处理☆10Dec 14, 2019Updated 6 years ago
- Use 'Browser - Cloud' in ArmorPaint instead.☆10Apr 5, 2021Updated 4 years ago
- ☆13Sep 9, 2016Updated 9 years ago
- A 1014 Byte ELF64/DOS.COM/GameBoy/Megadrive/PDF/ARJ/PKZIP/7zip Polyglot Binary☆13Sep 8, 2022Updated 3 years ago
- Network Flows Optimization - Shortest Path, Max Flow and Min Cost Flow Algorithms in Python☆11Sep 13, 2019Updated 6 years ago
- New register allocator designed as a successor to regalloc2☆57Nov 13, 2025Updated 3 months ago
- Python bindings for Boost.Interprocess☆10Dec 20, 2016Updated 9 years ago
- The Tweets2013 Internet Archive collection☆10Aug 7, 2020Updated 5 years ago
- OpenGL interop example using WGL_NV_DX_interop2☆10Mar 8, 2018Updated 7 years ago
- Matlab code for fast Hausdorff distance for binary images or segmentation maps☆11Mar 10, 2019Updated 6 years ago
- A compile time sized array of bits☆12Aug 15, 2021Updated 4 years ago
- Notes about running Linux natively on the Google Pixel (completely getting rid of ChromeOS).☆20Sep 18, 2013Updated 12 years ago