mattgodbolt / correct-by-constructionLinks
Correct by Construction : a presentation given at C++ on Sea 2020
☆22Updated 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
- Clang from the Future: A C++17 to C++11 source-to-source compiler☆122Updated 7 years ago
- Tools to facilitate data-oriented design in C99.☆41Updated 5 years ago
- bad_alloc Behaving Badly☆75Updated 6 years ago
- Branchless UTF-8 decoder☆35Updated 7 years ago
- compile time assembly interpreter☆86Updated 7 years ago
- Stackless coroutine compiler for C☆46Updated 5 years ago
- Compile-time printf-like string formatting☆77Updated 7 years ago
- cinf is a runtime library and compiler plug-in to support reflection in C.☆43Updated 2 months ago
- Make CMake less painful when trying to write Modern Flexible CMake (legacy)☆104Updated 3 years ago
- Benchmarks for our memory allocator☆69Updated 2 years ago
- A C library for runtime-flippable feature flags on Linux/x86-64, with negligible overhead in the common case☆74Updated 2 years ago
- Use unused bits in your pointer☆46Updated 7 years ago
- ☆34Updated 3 years ago
- A hash table implementation using Robin Hood Linear Probing☆51Updated 11 years ago
- The IDK (Industrial Development Kit) library!☆36Updated 3 months ago
- C++20 for flag enums☆27Updated 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
- TLSF: two-level segregated fit O(1) allocator☆80Updated 3 years ago
- Source-code annotation language (SAL) compatibility header☆46Updated 7 years ago
- homogeneous variadic function parameters☆17Updated last year
- 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
- ☆31Updated 9 years ago
- Optimized for systems that read and write large blobs.☆12Updated 10 years ago
- A plugin framework for namespace macros in C/C++☆36Updated 11 years ago
- C compiler for the BBC Micro Series☆33Updated 6 years ago
- Towards a constexpr version of the C++ standard library☆18Updated last year
- ☆17Updated last year
- Roman numeral support for C++17☆52Updated 2 years ago
- A collection of formatting benchmarks☆50Updated last month