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
• piperchester / cpp-btree
  Optimized for systems that read and write large blobs.
  ☆12Updated 10 years ago
• michaeljclark / crefl
  crefl is a runtime library and compiler plug-in to support reflection in C.
  ☆42Updated 8 months ago
• mserdarsanli / librepr
  Similar to python's `repr`, for c++
  ☆32Updated 3 years ago
• hu55a1n1 / dod
  Tools to facilitate data-oriented design in C99.
  ☆41Updated 4 years ago
• WojciechMula / ternary-logic
  Support for ternary logic in SSE, XOP, AVX2 and x86 programs
  ☆31Updated 4 months ago
• tobias-loew / hop
  homogeneous variadic function parameters
  ☆17Updated last year
• skarupke / reflection
  ☆31Updated 9 years ago
• pfultz2 / ZLang
  A plugin framework for namespace macros in C/C++
  ☆35Updated 10 years ago
• uyha / flag
  C++20 for flag enums
  ☆27Updated 4 years ago
• MoserMichael / cppcombinator
  parser combinator and AST generator in c++17
  ☆24Updated 2 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
• soasis / idk
  The IDK (Industrial Development Kit) library!
  ☆33Updated 2 weeks ago
• jeremycw / corc
  Stackless coroutine compiler for C
  ☆46Updated 5 years ago
• graphitemaster / 0xABAD1DEA
  Static global objects with constructors and destructors made useful in C++
  ☆26Updated 8 years ago
• NanXiao / ump
  A universal thread-safe memory pool.
  ☆26Updated 6 years 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
• mattcalabrese / argot
  A C++ library that simplifies working with tuples, variants, and more through argument list generation and the ability to convert from ru…
  ☆61Updated 4 years ago
• cor3ntin / ext-unicode-db
  ☆17Updated last year
• janwilmans / ring_span
  A ring_span implementation that allows zero construction and destruction
  ☆16Updated 4 years ago
• martinmoene / atomic-lite
  atomic lite - a C++11 atomic operations library for C++98 and later
  ☆13Updated last year
• badair / polyvar
  polymorphism with value semantics (based on std::variant)
  ☆12Updated 8 years ago
• HDembinski / stateful_pointer
  Use unused bits in your pointer
  ☆45Updated 7 years ago
• tfbogdan / rosewood
  ☆39Updated 4 years ago
• pr0g / c-handle-container
  little test driven handle library in c
  ☆11Updated 4 years ago
• kobalicek / mpsl
  Shader-Like Mathematical Expression JIT Engine for C++ Language
  ☆58Updated 5 years ago
• KRM7 / small_unique_ptr
  A unique_ptr implementation with small object optimization
  ☆19Updated 7 months ago
• graphitemaster / fibers
  The fiber sourcebook
  ☆22Updated 4 years ago
• jwakely / pkg-gcc-latest
  Scripts to build binary packages of GCC snapshots
  ☆29Updated last week
• SephDB / constexpr-format
  Compile-time printf-like string formatting
  ☆77Updated 6 years ago