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 9 years ago
• hu55a1n1 / dod
  Tools to facilitate data-oriented design in C99.
  ☆41Updated 4 years ago
• michaeljclark / crefl
  crefl is a runtime library and compiler plug-in to support reflection in C.
  ☆41Updated 6 months 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 / reflection
  ☆31Updated 9 years ago
• MoserMichael / cppcombinator
  parser combinator and AST generator in c++17
  ☆24Updated 2 years ago
• biojppm / cmany
  Easily batch-build cmake projects!
  ☆17Updated 2 weeks ago
• bruxisma / papers
  WG21 Proposals and Drafts
  ☆14Updated 3 years ago
• orlp / devector
  Resizable contiguous sequence container with fast appends on either end.
  ☆37Updated 8 years ago
• mserdarsanli / librepr
  Similar to python's `repr`, for c++
  ☆32Updated 2 years ago
• pr0g / c-handle-container
  little test driven handle library in c
  ☆11Updated 4 years ago
• mpusz / inplace_string
  `mp::inplace_string<CharT, MaxSize, Traits>` is a `std::string`-like class template that stores text content in-place inside the class
  ☆10Updated 6 years ago
• ljestrada / charconvutils
  C++17 sports two low-level character conversion functions, std::from_chars and std::to_chars, but they have a usage model that can be ea…
  ☆8Updated 5 years ago
• mikey-b / linear_pool_allocator
  ☆11Updated 3 years ago
• pfultz2 / ZLang
  A plugin framework for namespace macros in C/C++
  ☆35Updated 10 years ago
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆14Updated last week
• fmtlib / format-benchmark
  A collection of formatting benchmarks
  ☆47Updated last month
• karroffel / cfstructs
  A collection of cache-friendly data structures in C++, without any dependencies.
  ☆23Updated 6 years ago
• NanXiao / ump
  A universal thread-safe memory pool.
  ☆26Updated 6 years ago
• Zguy / ZHeaders
  Public domain single-file libraries - stb style
  ☆20Updated 2 months ago
• camio / modules-example
  This repository is a very simple C++ modules example.
  ☆23Updated 2 years ago
• tfbogdan / rosewood
  ☆39Updated 4 years ago
• rollbear / typical
  Highly composable C++17 template meta programming library
  ☆39Updated 6 years ago
• graphitemaster / fibers
  The fiber sourcebook
  ☆22Updated 4 years ago
• HDembinski / stateful_pointer
  Use unused bits in your pointer
  ☆46Updated 7 years ago
• bdonlan / branchless-utf8
  Branchless UTF-8 decoder
  ☆33Updated 7 years ago
• hsutter / babb
  bad_alloc Behaving Badly
  ☆74Updated 5 years ago
• cor3ntin / ext-unicode-db
  ☆17Updated last year
• andyprowl / virtual-concepts
  A research project aimed at introducing language support for type erasure in C++.
  ☆53Updated 9 years ago