arcosuc3m / clang-contractsLinks
Experimental support for contracts programming in clang++
☆28Updated 6 years ago
Alternatives and similar repositories for clang-contracts
Users that are interested in clang-contracts are comparing it to the libraries listed below
Sorting:
- Mirror of official clang git repository located at http://llvm.org/git/clang. Updated every five minutes.☆18Updated 6 years ago
- Utilities to help using Coroutines with Ranges☆23Updated 7 years ago
- 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
- A prototype implementation of the executors proposal☆85Updated 6 years ago
- WIP☆26Updated 6 years ago
- 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
- Variadic templates and std::integer_sequence support library☆111Updated 3 months ago
- C++ generic make factory☆107Updated 6 years ago
- Draft for a new C++ standard future propoal☆19Updated 7 years ago
- Support for С++20 std::stop_token to interrupt the blocking Linux syscalls without throwing any exception.☆19Updated 4 years ago
- A never-valueless, strong guarantee implementation of std::variant☆69Updated last month
- A C++14 and later CRTP template for defining iterators☆74Updated last month
- ☆26Updated 5 years ago
- Handling of NB comments in response to ballots☆15Updated 5 years ago
- Proposed C++ standardisation for linear algebra☆29Updated 6 years ago
- Very fast regexp using c++11 templates.☆82Updated 10 years ago
- Lambda state machine is a state machine framework with an extremely simple UI☆16Updated 7 years ago
- Compile-time-efficient proof-of-concept implementation for std::tuple☆94Updated 3 years ago
- Repository for a C++11 implementation of std::out_ptr (p1132), as a standalone library!☆75Updated last month
- ☆71Updated 6 years ago
- a c++ header library that implements variant constexpr functions and types.☆85Updated 5 years ago
- ☆26Updated 7 years ago
- Prototype for new std::function features, compatible with C++11.☆46Updated 5 years ago
- A proposal for a futures programming model for ISO C++☆22Updated 6 years ago
- modern C++ type traits and metafunctions for callable types☆135Updated last month
- Implementation of hash_append proposal☆69Updated 8 years ago
- A C++11 character encoding and code point enumeration library based on range-v3☆20Updated 7 years ago
- Coroutine Support Library☆33Updated 9 months ago
- Using coroutines as sugar for composing monadic operations☆75Updated 6 years ago
- A fixed capacity dynamically sized string☆66Updated last month