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.
  ☆18Updated 6 years ago
• toby-allsopp / ranges-coroutines
  Utilities to help using Coroutines with Ranges
  ☆23Updated 7 years 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…
  ☆84Updated 9 years ago
• FelixPetriconi / future_proposal
  Draft for a new C++ standard future propoal
  ☆19Updated 7 years ago
• taocpp / sequences
  Variadic templates and std::integer_sequence support library
  ☆111Updated last month
• HowardHinnant / hash_append
  Implementation of hash_append proposal
  ☆69Updated 8 years ago
• andyprowl / virtual-concepts
  A research project aimed at introducing language support for type erasure in C++.
  ☆53Updated 9 years ago
• odinthenerd / tmp
  Boost (not yet) Tacit Meta Programming - your DSL for metaprogramming
  ☆66Updated 5 years ago
• executors / futures
  A proposal for a futures programming model for ISO C++
  ☆22Updated 6 years ago
• schulmar / Templar
  Visualization tool for Templight C++ template debugger traces
  ☆89Updated 6 years ago
• executors / executors-impl
  A prototype implementation of the executors proposal
  ☆85Updated 6 years ago
• KonanM / static_enum
  C++ static_enum
  ☆86Updated 5 years ago
• potswa / cxx_function
  Prototype for new std::function features, compatible with C++11.
  ☆46Updated 4 years ago
• boostorg / stl_interfaces
  A C++14 and later CRTP template for defining iterators
  ☆72Updated last week
• vittorioromeo / orizzonte
  WIP
  ☆26Updated 5 years ago
• hanickadot / static-regexp-old
  Very fast regexp using c++11 templates.
  ☆82Updated 10 years ago
• bruxisma / retain-ptr
  WG21 P0468 implementation of an intrusive smart pointer for C++
  ☆57Updated 5 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
• blapid / llcpp
  Literal Logging for C++
  ☆84Updated 7 years ago
• AlexBAV / corsl
  Coroutine Support Library
  ☆33Updated 7 months ago
• taocpp / tuple
  Compile-time-efficient proof-of-concept implementation for std::tuple
  ☆94Updated 3 years ago
• tahonermann / text_view-range-v3
  A C++11 character encoding and code point enumeration library based on range-v3
  ☆20Updated 6 years ago
• ldionne / metabench
  A simple framework for compile-time benchmarks
  ☆184Updated 3 years ago
• foonathan / atum
  Helpers for preventing the static initialization order fiasco of global variables.
  ☆44Updated 4 years ago
• ClaasBontus / bitset2
  std::bitset with constexpr implementations plus additional features.
  ☆119Updated last year
• ogiroux / atomic_wait
  Sample implementation of C++20 atomic_wait/notify
  ☆59Updated 5 years ago
• boostorg / callable_traits
  modern C++ type traits and metafunctions for callable types
  ☆133Updated last week
• libogonek / ogonek
  A C++11 library for Unicode
  ☆80Updated 5 years ago
• akrzemi1 / compact_optional
  A template for creating optional-like object with no space overhead
  ☆26Updated 7 years ago
• mpark / format
  Compile-time Checked, Type-Safe Formatting in C++14
  ☆36Updated 7 years ago