arcosuc3m / clang-contractsLinks
Experimental support for contracts programming in clang++
☆28Updated 7 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.☆19Updated 6 years ago
- Utilities to help using Coroutines with Ranges☆23Updated 8 years ago
- A prototype implementation of the executors proposal☆86Updated 6 years ago
- Variadic templates and std::integer_sequence support library☆112Updated 10 months ago
- Very fast regexp using c++11 templates.☆83Updated 10 years ago
- Implementation of hash_append proposal☆67Updated 9 years ago
- 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
- Compile-time-efficient proof-of-concept implementation for std::tuple☆94Updated 3 weeks ago
- The stack_unwinding is a small header only C++ library which supplies primitive(class unwinding_indicator) to determining when object des…☆87Updated 10 years ago
- A proposal for a futures programming model for ISO C++☆23Updated 7 years ago
- The draft C++ Reflection Technical Specification☆90Updated 4 years ago
- Mirror of official clang git repository located at http://llvm.org/git/clang. Updated every five minutes.☆18Updated 8 years ago
- Draft for a new C++ standard future propoal☆19Updated 8 years ago
- A C++14-and-later expression template library☆109Updated last month
- benchmark for various C++ function implementations; focus on invocation time☆97Updated 6 years ago
- Support for С++20 std::stop_token to interrupt the blocking Linux syscalls without throwing any exception.☆20Updated 5 years ago
- Visualization tool for Templight C++ template debugger traces☆90Updated 7 years ago
- Replaced by foonathan/lexy☆138Updated 5 years ago
- A C++11 std::vector-compliant implementation with a customizable size type and growing algorithm☆70Updated 10 years ago
- A proposal for a executor programming model for ISO C++☆141Updated 5 years ago
- WG21 P0468 implementation of an intrusive smart pointer for C++☆58Updated 6 years ago
- Collection of proposals for c++☆29Updated 2 months ago
- A C++14 and later CRTP template for defining iterators☆76Updated last month
- C++ generic make factory☆108Updated 6 years ago
- pushmi project☆50Updated 6 years ago
- WIP☆27Updated 6 years ago
- Library for extracting stacktrace from exception.☆48Updated 2 years ago
- Sample implementation of C++20 atomic_wait/notify☆62Updated 6 years ago
- A persistent hash array-mapped trie for C++☆91Updated 2 years ago
- Proposed SG14 status_code for the C++ standard☆69Updated last week