Alternatives and similar repositories for clang-contracts

Users that are interested in clang-contracts are comparing it to the libraries listed below

• matus-chochlik / clang
  Mirror of official clang git repository located at http://llvm.org/git/clang. Updated every five minutes.
  ☆19Updated 6 years ago
• cplusplus / reflection-ts
  The draft C++ Reflection Technical Specification
  ☆90Updated 4 years ago
• hanickadot / static-regexp-old
  Very fast regexp using c++11 templates.
  ☆82Updated 10 years ago
• executors / executors-impl
  A prototype implementation of the executors proposal
  ☆85Updated 6 years ago
• klemens-morgenstern / boost-process
  Boost.Process is a library to manage system processes
  ☆112Updated 3 years ago
• taocpp / sequences
  Variadic templates and std::integer_sequence support library
  ☆111Updated 6 months ago
• evgeny-panasyuk / stack_unwinding
  The stack_unwinding is a small header only C++ library which supplies primitive(class unwinding_indicator) to determining when object des…
  ☆86Updated 9 years ago
• vittorioromeo / orizzonte
  WIP
  ☆27Updated 6 years ago
• toby-allsopp / ranges-coroutines
  Utilities to help using Coroutines with Ranges
  ☆23Updated 8 years ago
• HowardHinnant / hash_append
  Implementation of hash_append proposal
  ☆67Updated 8 years ago
• mpark / format
  Compile-time Checked, Type-Safe Formatting in C++14
  ☆36Updated 8 years ago
• asutton / old-clang-reflect
  Mirror of official clang git repository located at http://llvm.org/git/clang. Updated every five minutes.
  ☆18Updated 8 years ago
• cor3ntin / CPPProposals
  Collection of proposals for c++
  ☆29Updated 3 months ago
• sargarass / isc
  Support for С++20 std::stop_token to interrupt the blocking Linux syscalls without throwing any exception.
  ☆20Updated 5 years ago
• axolm / libsfe
  Library for extracting stacktrace from exception.
  ☆48Updated last year
• mattcalabrese / argot
  A C++ library that simplifies working with tuples, variants, and more through argument list generation and the ability to convert from ru…
  ☆62Updated 5 years ago
• foonathan / lex
  Replaced by foonathan/lexy
  ☆138Updated 4 years ago
• taocpp / tuple
  Compile-time-efficient proof-of-concept implementation for std::tuple
  ☆94Updated 3 years ago
• FelixPetriconi / future_proposal
  Draft for a new C++ standard future propoal
  ☆19Updated 8 years ago
• andyprowl / virtual-concepts
  A research project aimed at introducing language support for type erasure in C++.
  ☆54Updated 9 years ago
• ned14 / quickcpplib
  Eliminate all the tedious hassle when making state-of-the-art C++ 14 - 23 libraries!
  ☆181Updated 3 months ago
• aguinet / pector
  A C++11 std::vector-compliant implementation with a customizable size type and growing algorithm
  ☆68Updated 10 years ago
• boostorg / poly_collection
  Fast containers of polymorphic objects.
  ☆68Updated last week
• executors / executors
  A proposal for a executor programming model for ISO C++
  ☆140Updated 4 years ago
• cplusplus / modules-ts
  C++ Modules Technical Specification working draft.
  ☆24Updated 6 years ago
• boostorg / variant2
  A never-valueless, strong guarantee implementation of std::variant
  ☆69Updated last week
• boostorg / yap
  A C++14-and-later expression template library
  ☆110Updated last week
• schulmar / Templar
  Visualization tool for Templight C++ template debugger traces
  ☆90Updated 6 years ago
• MakersF / corobatch
  ☆26Updated 5 years ago
• jamboree / CxxFunctionBenchmark
  benchmark for various C++ function implementations; focus on invocation time
  ☆95Updated 6 years ago