Alternatives and similar repositories for correct-by-construction:

Users that are interested in correct-by-construction are comparing it to the libraries listed below

• mattgodbolt / cpponsea-2019
  Slides for my 2019 presentation at C++ on Sea
  ☆13Updated 3 years ago
• pfultz2 / ZLang
  A plugin framework for namespace macros in C/C++
  ☆35Updated 10 years ago
• biojppm / cmany
  Easily batch-build cmake projects!
  ☆17Updated last month
• tobias-loew / hop
  homogeneous variadic function parameters
  ☆17Updated last year
• mikey-b / linear_pool_allocator
  ☆11Updated 3 years ago
• piperchester / cpp-btree
  Optimized for systems that read and write large blobs.
  ☆12Updated 10 years ago
• skarupke / reflection
  ☆31Updated 9 years ago
• hu55a1n1 / dod
  Tools to facilitate data-oriented design in C99.
  ☆41Updated 4 years ago
• mserdarsanli / librepr
  Similar to python's `repr`, for c++
  ☆32Updated 3 years ago
• pr0g / c-handle-container
  little test driven handle library in c
  ☆11Updated 4 years ago
• greg7mdp / sho
  Small Hash Optimization - an optimization for when you have many small hash maps - similar to LLVM's small vector optimization.
  ☆39Updated 7 years ago
• skarupke / compile_time
  A few classes which compile faster than the classes that they replace
  ☆12Updated 11 years ago
• MoserMichael / cppcombinator
  parser combinator and AST generator in c++17
  ☆24Updated 2 years ago
• rollbear / typical
  Highly composable C++17 template meta programming library
  ☆39Updated 6 years ago
• uyha / flag
  C++20 for flag enums
  ☆27Updated 4 years ago
• michaeljclark / crefl
  crefl is a runtime library and compiler plug-in to support reflection in C.
  ☆41Updated 7 months ago
• nkakuev / list-cpp-warning-options
  A simple Perl script that prints GCC warning options you can apply to C++ code.
  ☆12Updated 8 years ago
• mpark / format
  Compile-time Checked, Type-Safe Formatting in C++14
  ☆36Updated 7 years ago
• jeremycw / corc
  Stackless coroutine compiler for C
  ☆46Updated 5 years ago
• soasis / idk
  The IDK (Industrial Development Kit) library!
  ☆32Updated this week
• lewissbaker / cake
  Cake is a fast build system written in Python.
  ☆20Updated last month
• egladysh / vplot
  C++ container graph visualization for lldb.
  ☆23Updated 5 years ago
• tfc / cpp_template_meta_brainfuck_interpreter
  A Brainfuck Interpreter, which is completely implemented from scratch as a C++ Template Meta Program
  ☆24Updated 3 years ago
• fmtlib / format-benchmark
  A collection of formatting benchmarks
  ☆47Updated 2 months ago
• DanielaE / fmt-module
  Provide {fmt} as a C++20 named module
  ☆9Updated 3 years ago
• janwilmans / ring_span
  A ring_span implementation that allows zero construction and destruction
  ☆16Updated 4 years ago
• MakersF / corobatch
  ☆26Updated 4 years ago
• gstrauss / plasma
  portability macros for compiler and hardware micro operations
  ☆36Updated 9 months ago
• martinmoene / string-lite
  String facilities for C++98 and later - a library in search of its identity.
  ☆22Updated 2 years ago
• seanmiddleditch / nanofmt
  Cut down and minimalistic C++ string formatting library
  ☆26Updated last year