mattgodbolt / correct-by-constructionLinks
Correct by Construction : a presentation given at C++ on Sea 2020
☆21Updated 5 years ago
Alternatives and similar repositories for correct-by-construction
Users that are interested in correct-by-construction are comparing it to the libraries listed below
Sorting:
- Slides for my 2019 presentation at C++ on Sea☆13Updated 4 years ago
- bad_alloc Behaving Badly☆74Updated 6 years ago
- Clang from the Future: A C++17 to C++11 source-to-source compiler☆123Updated 6 years ago
- Optimized for systems that read and write large blobs.☆12Updated 10 years ago
- The IDK (Industrial Development Kit) library!☆36Updated last month
- Benchmarks for our memory allocator☆68Updated last year
- Compile-time printf-like string formatting☆77Updated 7 years ago
- Looking into the performance of heaps, starting with the Min-Max Heap☆68Updated 4 years ago
- Branchless UTF-8 decoder☆35Updated 7 years ago
- compile time assembly interpreter☆85Updated 7 years ago
- Tools to facilitate data-oriented design in C99.☆41Updated 5 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
- Stackless coroutine compiler for C☆46Updated 5 years ago
- Small Hash Optimization - an optimization for when you have many small hash maps - similar to LLVM's small vector optimization.☆39Updated 8 years ago
- A hash table implementation using Robin Hood Linear Probing☆51Updated 11 years ago
- A universal thread-safe memory pool.☆26Updated 7 years ago
- ☆34Updated 3 years ago
- Collection of high performance C++ containers that can be chosen as drop-in replacements for std::vector and std::set☆35Updated 6 months ago
- homogeneous variadic function parameters☆17Updated last year
- ☆17Updated last year
- Quick 'n' Dirty benchmarks for various integer parsing methods in C++☆40Updated 5 years ago
- A plugin framework for namespace macros in C/C++☆36Updated 11 years ago
- C++20 for flag enums☆27Updated 5 years ago
- ☆31Updated 9 years ago
- Highly composable C++17 template meta programming library☆39Updated 6 years ago
- A C library for runtime-flippable feature flags on Linux/x86-64, with negligible overhead in the common case☆73Updated 2 years ago
- A collection of formatting benchmarks☆49Updated last week
- Make CMake less painful when trying to write Modern Flexible CMake (legacy)☆104Updated 2 years ago
- unique_resource, The General RAII Wrapper for Exclusive Ownership Resource Management.☆48Updated last year
- Single Header Constexpr Circular Queue☆17Updated 5 years ago