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:
- ☆12Jan 12, 2018Updated 8 years ago
- A low-latency malloc implementation☆26Apr 5, 2021Updated 5 years ago
- C++ mutex collections, cross-platform header-only C++11 (or later) library.☆124Mar 28, 2022Updated 4 years ago
- Cx is now called Neat. https://github.com/neat-lang/neat☆10Jul 15, 2021Updated 5 years ago
- convert json to handy object to read and write, and then back to json☆11Nov 21, 2013Updated 12 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A simple portable C test runner☆21Updated this week
- GN meta-build system parser, static code model and navigable code browser☆13Aug 8, 2022Updated 4 years ago
- ☆11Aug 1, 2021Updated 5 years ago
- GraphQL C++ server library at simple way☆12Oct 28, 2020Updated 6 years ago
- Single Header scripting language made from scratch!☆11Nov 13, 2020Updated 5 years ago
- A header only fast HTTP parser/generator for C++.☆31Jul 13, 2020Updated 6 years ago
- A 1014 Byte ELF64/DOS.COM/GameBoy/Megadrive/PDF/ARJ/PKZIP/7zip Polyglot Binary☆13Sep 8, 2022Updated 4 years ago
- Module to log queries done by specific user types☆12Jan 15, 2026Updated 9 months ago
- A simple http server.☆18Feb 25, 2018Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆15Sep 9, 2020Updated 6 years ago
- Windows environment variable manager built with Tauri v2, React, TypeScript, and Rust.☆17Oct 15, 2026Updated 2 weeks ago
- Mike's Arbitrary Precision Math Library Version 5.1☆12Jan 16, 2026Updated 9 months ago
- multithreading examples of my blog☆13Jul 6, 2014Updated 12 years ago
- A UDP-Only Winsock RIO C++ Network Library☆11Jan 4, 2018Updated 8 years ago
- This repository contains the complete Verilog implementation and supporting tools for a cycle-accurate, dual-issue pipelined multimedia p…☆28May 6, 2025Updated last year
- pre-loadable library tracking all memory allocations of a program. Simplified version of log-malloc2☆13Nov 29, 2021Updated 4 years ago
- Library for Geometric Algebra in Haskell☆12Apr 4, 2011Updated 15 years ago
- Aerie: a regex-like engine nested word grammars☆16Feb 5, 2022Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- The Titan Network Framework: A network layout well-suited to most organizational needs.☆13Oct 18, 2021Updated 5 years ago
- Yet another component system☆12Jul 30, 2022Updated 4 years ago
- Code repository for PostgreSQL High Performance Cookbook by Packt Publishing☆16Jan 30, 2023Updated 3 years ago
- An Ansible role for installing PostgreSQL.☆10Jan 27, 2020Updated 6 years ago
- Benchmark hash tables vs hashed sorting☆15Sep 8, 2025Updated last year
- ☆17Jan 8, 2023Updated 3 years ago
- The real Markdown parser deal. You know, the one with a Markdown AST. Based on Upskirt, Sundown, Redcarpet or Hoedown whatever is trendin…☆10Aug 28, 2017Updated 9 years ago
- A tool for searching text or byte patterns in binary files.☆20Apr 1, 2024Updated 2 years ago
- An exception backtracing library☆13Apr 4, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Code for https://arxiv.org/abs/1811.00145☆12Feb 13, 2021Updated 5 years ago
- Generate Serialization Functions for C++ classes and structs using python and libclang☆12Feb 24, 2018Updated 8 years ago
- SImple, common-sense Bitcoin-themed Python ECC library☆15Nov 25, 2017Updated 8 years ago
- Minimal, dependency free implementation of the ctor crate☆17Aug 1, 2024Updated 2 years ago
- Print menu of Saizeriya at random.☆11Apr 24, 2022Updated 4 years ago
- Google coredumper library☆43May 13, 2025Updated last year
- Demonstrate how compiler asserts can be implemented, these are evaluated at build time in an optimized build, not runtime☆14Sep 30, 2026Updated last month