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
• neobrain / cftf
  Clang from the Future: A C++17 to C++11 source-to-source compiler
  ☆125Updated 6 years ago
• soasis / idk
  The IDK (Industrial Development Kit) library!
  ☆36Updated last week
• hu55a1n1 / dod
  Tools to facilitate data-oriented design in C99.
  ☆41Updated 4 years ago
• skarupke / reflection
  ☆31Updated 9 years ago
• skarupke / sherwood_map
  A hash table implementation using Robin Hood Linear Probing
  ☆51Updated 11 years ago
• smilingthax / cttrie
  Compile-time TRIE based string matcher (C++11)
  ☆52Updated 6 years ago
• KholdStare / qnd-integer-parsing-experiments
  Quick 'n' Dirty benchmarks for various integer parsing methods in C++
  ☆40Updated 5 years ago
• SephDB / constexpr-format
  Compile-time printf-like string formatting
  ☆77Updated 7 years ago
• mjansson / rpmalloc-benchmark
  Benchmarks for our memory allocator
  ☆65Updated last year
• jeremycw / corc
  Stackless coroutine compiler for C
  ☆46Updated 5 years ago
• HDembinski / stateful_pointer
  Use unused bits in your pointer
  ☆45Updated 7 years ago
• mpark / format
  Compile-time Checked, Type-Safe Formatting in C++14
  ☆36Updated 8 years ago
• pfultz2 / ZLang
  A plugin framework for namespace macros in C/C++
  ☆36Updated 11 years ago
• cor3ntin / ext-unicode-db
  ☆17Updated last year
• mserdarsanli / librepr
  Similar to python's `repr`, for c++
  ☆32Updated 3 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 / heap
  Looking into the performance of heaps, starting with the Min-Max Heap
  ☆67Updated 4 years ago
• hsutter / babb
  bad_alloc Behaving Badly
  ☆74Updated 6 years ago
• tobias-loew / hop
  homogeneous variadic function parameters
  ☆17Updated last year
• ixm-one / legacy
  Make CMake less painful when trying to write Modern Flexible CMake (legacy)
  ☆106Updated 2 years ago
• bdonlan / branchless-utf8
  Branchless UTF-8 decoder
  ☆35Updated 7 years ago
• NanXiao / ump
  A universal thread-safe memory pool.
  ☆26Updated 6 years ago
• s9w / experimental_concurrency
  ☆34Updated 3 years ago
• fmtlib / format-benchmark
  A collection of formatting benchmarks
  ☆49Updated 5 months ago
• michaeljclark / crefl
  crefl is a runtime library and compiler plug-in to support reflection in C.
  ☆42Updated last month
• stryku / ctai
  compile time assembly interpreter
  ☆85Updated 7 years ago
• michaelrsweet / codedoc
  Documentation generator for C/C++ code
  ☆53Updated 5 months ago
• egladysh / vplot
  C++ container graph visualization for lldb.
  ☆23Updated 5 years ago
• piperchester / cpp-btree
  Optimized for systems that read and write large blobs.
  ☆12Updated 10 years ago