arcosuc3m / clang-contracts

Related projects ⓘ

Alternatives and complementary repositories for clang-contracts

• matus-chochlik / clang
  Mirror of official clang git repository located at http://llvm.org/git/clang. Updated every five minutes.
  ☆18Updated 5 years ago
• toby-allsopp / ranges-coroutines
  Utilities to help using Coroutines with Ranges
  ☆23Updated 7 years ago
• asutton / clang-reflect
  A clean implementation of reflection and related proposals.
  ☆29Updated 6 years ago
• executors / executors-impl
  A prototype implementation of the executors proposal
  ☆84Updated 5 years ago
• ogiroux / atomic_wait
  Sample implementation of C++20 atomic_wait/notify
  ☆57Updated 5 years ago
• taocpp / sequences
  Variadic templates and std::integer_sequence support library
  ☆109Updated 3 years ago
• potswa / cxx_function
  Prototype for new std::function features, compatible with C++11.
  ☆46Updated 4 years ago
• zajo / boost-noexcept
  ☆26Updated 6 years ago
• sargarass / isc
  Support for С++20 std::stop_token to interrupt the blocking Linux syscalls without throwing any exception.
  ☆19Updated 4 years ago
• bruxisma / retain-ptr
  WG21 P0468 implementation of an intrusive smart pointer for C++
  ☆57Updated 4 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
• vittorioromeo / orizzonte
  WIP
  ☆26Updated 5 years ago
• taocpp / tuple
  Compile-time-efficient proof-of-concept implementation for std::tuple
  ☆91Updated 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
• DaemonSnake / unconstexpr
  a c++ header library that implements variant constexpr functions and types.
  ☆82Updated 4 years ago
• executors / futures
  A proposal for a futures programming model for ISO C++
  ☆22Updated 6 years ago
• cor3ntin / CPPProposals
  Collection of proposals for c++
  ☆23Updated last week
• boostorg / callable_traits
  modern C++ type traits and metafunctions for callable types
  ☆131Updated last week
• t-lutz / ParallelSTL
  Implementation of n3554, a proposal to include parallelized versions of the STL algorithms into the C++ standard.
  ☆25Updated 8 years ago
• viboes / std-make
  C++ generic make factory
  ☆106Updated 5 years ago
• boostorg / stl_interfaces
  A C++14 and later CRTP template for defining iterators
  ☆70Updated last week
• FelixPetriconi / future_proposal
  Draft for a new C++ standard future propoal
  ☆19Updated 7 years ago
• mpark / format
  Compile-time Checked, Type-Safe Formatting in C++14
  ☆36Updated 7 years ago
• blapid / llcpp
  Literal Logging for C++
  ☆83Updated 7 years ago
• zajo / synapse
  Non-intrusive C++ signal programming library
  ☆49Updated 2 years ago
• pthom / cleantype
  Readable and consistent C++ type introspection - Compiler Decipherer
  ☆89Updated 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…
  ☆60Updated 4 years ago
• facebookresearch / pushmi
  pushmi project
  ☆50Updated 5 years ago
• ned14 / quickcpplib
  Eliminate all the tedious hassle when making state-of-the-art C++ 14 - 23 libraries!
  ☆144Updated this week
• bruxisma / cxx-concepts
  A basic implementation of C++ Concepts in C++14 (CppCon 2016 Lightning Talks)
  ☆37Updated 7 years ago