mattgodbolt / correct-by-constructionLinks
Correct by Construction : a presentation given at C++ on Sea 2020
☆21Updated 4 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☆123Updated 6 years ago
- Branchless UTF-8 decoder☆35Updated 7 years ago
- bad_alloc Behaving Badly☆74Updated 6 years ago
- Tools to facilitate data-oriented design in C99.☆41Updated 4 years ago
- compile time assembly interpreter☆85Updated 7 years ago
- ☆31Updated 9 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
- cinf is a runtime library and compiler plug-in to support reflection in C.☆42Updated last week
- Slides for my 2019 presentation at C++ on Sea☆13Updated 3 years ago
- Compile-time printf-like string formatting☆77Updated 7 years ago
- Embed files into C/C++ projects.☆48Updated 3 years ago
- Stackless coroutine compiler for C☆46Updated 5 years ago
- Looking into the performance of heaps, starting with the Min-Max Heap☆68Updated 4 years ago
- A hash table implementation using Robin Hood Linear Probing☆51Updated 11 years ago
- Benchmarks for our memory allocator☆68Updated last year
- Small Hash Optimization - an optimization for when you have many small hash maps - similar to LLVM's small vector optimization.☆39Updated 8 years ago
- ☆34Updated 3 years ago
- Terrible Brainfuck to x64 compiler developed live in an hour☆11Updated 6 years ago
- Quick 'n' Dirty benchmarks for various integer parsing methods in C++☆40Updated 5 years ago
- homogeneous variadic function parameters☆17Updated last year
- Use unused bits in your pointer☆45Updated 7 years ago
- Binary tools: assembler, disassembler, linker, library manager, emulator☆61Updated 6 months ago
- C++20 for flag enums☆27Updated 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 4 years ago
- The IDK (Industrial Development Kit) library!☆36Updated 3 weeks ago
- A collection of formatting benchmarks☆49Updated 5 months ago
- A plugin framework for namespace macros in C/C++☆36Updated 11 years ago
- A universal thread-safe memory pool.☆26Updated 7 years ago
- ☆17Updated last year
- portability macros for compiler and hardware micro operations☆36Updated last year