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:
- Clang from the Future: A C++17 to C++11 source-to-source compiler☆122Updated 7 years ago
- Slides for my 2019 presentation at C++ on Sea☆13Updated 4 years ago
- Compile-time printf-like string formatting☆77Updated 7 years ago
- Tools to facilitate data-oriented design in C99.☆41Updated 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
- compile time assembly interpreter☆86Updated 7 years ago
- cinf is a runtime library and compiler plug-in to support reflection in C.☆43Updated 3 months ago
- Benchmarks for our memory allocator☆69Updated 2 years ago
- ☆31Updated 9 years ago
- Collection of high performance C++ containers that can be chosen as drop-in replacements for std::vector and std::set☆37Updated last month
- ☆34Updated 3 years ago
- bad_alloc Behaving Badly☆75Updated 6 years ago
- Make CMake less painful when trying to write Modern Flexible CMake (legacy)☆104Updated 3 years ago
- Use unused bits in your pointer☆46Updated 8 years ago
- A hash table implementation using Robin Hood Linear Probing☆51Updated 11 years ago
- Bytecode interpreter☆77Updated 9 months ago
- WG21 Proposals and Drafts☆14Updated 3 years ago
- The IDK (Industrial Development Kit) library!☆36Updated 3 months ago
- A C library for runtime-flippable feature flags on Linux/x86-64, with negligible overhead in the common case☆75Updated 3 years ago
- A plugin framework for namespace macros in C/C++☆36Updated 11 years ago
- Stackless coroutine compiler for C☆46Updated 5 years ago
- C++20 for flag enums☆27Updated 5 years ago
- Optimized for systems that read and write large blobs.☆12Updated 10 years ago
- low-level library for minimizing the size of your types☆115Updated 6 years ago
- TLSF: two-level segregated fit O(1) allocator☆80Updated 3 years ago
- Towards a constexpr version of the C++ standard library☆18Updated last year
- Single Header Constexpr Circular Queue☆18Updated 5 years ago
- Branchless UTF-8 decoder☆35Updated 8 years ago
- Source-code annotation language (SAL) compatibility header☆46Updated 7 years ago
- CPIP - a C/C++ preprocessor implemented in Python.☆46Updated last month