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:
- Slides for my 2019 presentation at C++ on Sea☆13Updated 3 years ago
- Tools to facilitate data-oriented design in C99.☆41Updated 4 years ago
- Compile-time printf-like string formatting☆77Updated 7 years ago
- C++20 for flag enums☆27Updated 4 years ago
- Optimized for systems that read and write large blobs.☆12Updated 10 years ago
- This repository is a very simple C++ modules example.☆23Updated 2 years ago
- The IDK (Industrial Development Kit) library!☆33Updated this week
- A simple Perl script that prints GCC warning options you can apply to C++ code.☆12Updated 8 years ago
- A collection of formatting benchmarks☆47Updated 3 months ago
- homogeneous variadic function parameters☆17Updated last year
- Similar to python's `repr`, for c++☆32Updated 3 years ago
- ☆31Updated 9 years ago
- Support for ternary logic in SSE, XOP, AVX2 and x86 programs☆31Updated 4 months ago
- Small Hash Optimization - an optimization for when you have many small hash maps - similar to LLVM's small vector optimization.☆39Updated 7 years ago
- type - Strong types for C++98, C++11 and later in a single-file header-only library☆37Updated 11 months ago
- A collection of data structures in C++☆18Updated 2 years ago
- A plugin framework for namespace macros in C/C++☆36Updated 10 years ago
- Named arguments for C++17☆30Updated 4 years ago
- Easily batch-build cmake projects!☆18Updated 3 months ago
- A universal thread-safe memory pool.☆26Updated 6 years ago
- String to Float Benchmark☆19Updated 6 years ago
- Highly composable C++17 template meta programming library☆39Updated 6 years ago
- Use unused bits in your pointer☆45Updated 7 years ago
- Reference implementation of Grisu-Exact in C++☆63Updated 4 years ago
- bad_alloc Behaving Badly☆74Updated 6 years ago
- parser combinator and AST generator in c++17☆24Updated 2 years ago
- Towards a constexpr version of the C++ standard library☆18Updated last year
- Compile-time Checked, Type-Safe Formatting in C++14☆36Updated 8 years ago
- A cleaner rewrite of the meow hash by Casey Muratori, utilizing modern C++ features☆40Updated 6 years ago
- crefl is a runtime library and compiler plug-in to support reflection in C.☆42Updated 8 months ago