Alternatives and similar repositories for correct-by-construction

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

• neobrain / cftf
  Clang from the Future: A C++17 to C++11 source-to-source compiler
  ☆122Updated 7 years ago
• mattgodbolt / cpponsea-2019
  Slides for my 2019 presentation at C++ on Sea
  ☆13Updated 4 years ago
• SephDB / constexpr-format
  Compile-time printf-like string formatting
  ☆77Updated 7 years ago
• hu55a1n1 / dod
  Tools to facilitate data-oriented design in C99.
  ☆41Updated 5 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 8 years ago
• stryku / ctai
  compile time assembly interpreter
  ☆86Updated 7 years ago
• michaeljclark / cinf
  cinf is a runtime library and compiler plug-in to support reflection in C.
  ☆43Updated 3 months ago
• mjansson / rpmalloc-benchmark
  Benchmarks for our memory allocator
  ☆69Updated 2 years ago
• skarupke / reflection
  ☆31Updated 9 years ago
• AmadeusITGroup / amc
  Collection of high performance C++ containers that can be chosen as drop-in replacements for std::vector and std::set
  ☆37Updated last month
• s9w / experimental_concurrency
  ☆34Updated 3 years ago
• hsutter / babb
  bad_alloc Behaving Badly
  ☆75Updated 6 years ago
• ixm-one / legacy
  Make CMake less painful when trying to write Modern Flexible CMake (legacy)
  ☆104Updated 3 years ago
• HDembinski / stateful_pointer
  Use unused bits in your pointer
  ☆46Updated 8 years ago
• skarupke / sherwood_map
  A hash table implementation using Robin Hood Linear Probing
  ☆51Updated 11 years ago
• foonathan / lauf
  Bytecode interpreter
  ☆77Updated 9 months ago
• bruxisma / papers
  WG21 Proposals and Drafts
  ☆14Updated 3 years ago
• soasis / idk
  The IDK (Industrial Development Kit) library!
  ☆36Updated 3 months ago
• backtrace-labs / dynamic_flag
  A C library for runtime-flippable feature flags on Linux/x86-64, with negligible overhead in the common case
  ☆75Updated 3 years ago
• pfultz2 / ZLang
  A plugin framework for namespace macros in C/C++
  ☆36Updated 11 years ago
• jeremycw / corc
  Stackless coroutine compiler for C
  ☆46Updated 5 years ago
• uyha / flag
  C++20 for flag enums
  ☆27Updated 5 years ago
• piperchester / cpp-btree
  Optimized for systems that read and write large blobs.
  ☆12Updated 10 years ago
• foonathan / tiny
  low-level library for minimizing the size of your types
  ☆115Updated 6 years ago
• rmind / tlsf
  TLSF: two-level segregated fit O(1) allocator
  ☆80Updated 3 years ago
• SCT4SP / cest
  Towards a constexpr version of the C++ standard library
  ☆18Updated last year
• SteveZhangSZ / ConstexprCircularQueue
  Single Header Constexpr Circular Queue
  ☆18Updated 5 years ago
• bdonlan / branchless-utf8
  Branchless UTF-8 decoder
  ☆35Updated 8 years ago
• nemequ / salieri
  Source-code annotation language (SAL) compatibility header
  ☆46Updated 7 years ago
• paulross / cpip
  CPIP - a C/C++ preprocessor implemented in Python.
  ☆46Updated last month