alexeiz / contract
Library to support contract programming in C++
☆56Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for contract
- std::ring_span (SG14, P0059R1)☆45Updated 7 years ago
- A no-dependencies C++ extensible type erasure library☆42Updated 4 years ago
- unmaintained - CMake module to activate certain C++ standard, feature checks and appropriate automated workarounds - basically an improve…☆74Updated 7 years ago
- Lightweight C++14 utility library. (Modernized, stripped and cleaned-up version of SSVUtils.)☆34Updated 3 years ago
- Non-intrusive C++ signal programming library☆49Updated 2 years ago
- WG21 P0468 implementation of an intrusive smart pointer for C++☆57Updated 4 years ago
- λ → C++ library for functional programming☆37Updated 7 years ago
- ☆22Updated 7 years ago
- 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
- The C++ Pimpl Idiom Again!☆36Updated 6 years ago
- Library of flat vector-like based associative containers☆75Updated last year
- The missing C++ tuple functionality☆84Updated 4 years ago
- dynamic polymorphism without inheritance☆31Updated 7 years ago
- Header for creating phantom types.☆13Updated 7 years ago
- Block level data synchronization library☆48Updated 5 years ago
- A C++14 library to make it easier to work with parameter packs☆56Updated 5 years ago
- A C++11 library for Unicode☆80Updated 5 years ago
- A realtime/embedded-friendly C++11 variant type which is never empty and prevents undesirable implicit conversions☆98Updated 6 years ago
- Core abstractions for dealing with concurrency in C++☆66Updated 7 months ago
- type - Strong types for C++98, C++11 and later in a single-file header-only library☆36Updated 5 months ago
- A library for generating compile time parsers parsing embedded DSL code as part of the C++ compilation process☆43Updated last week
- 🏀 Up your type-game. A small C++ library for compile-time type names and type indices.☆71Updated 2 years ago
- WIP☆26Updated 5 years ago
- Shader-Like Mathematical Expression JIT Engine for C++ Language☆58Updated 5 years ago
- Flat containers for C++☆56Updated 2 years ago
- Utilities to help using Coroutines with Ranges☆23Updated 7 years ago
- A C++14/17 implementation of named tuples☆70Updated 3 months ago
- A modern header-only zero-overhead library for creating smart references☆86Updated 5 years ago
- C++ template metaprogramming library collection☆126Updated 8 years ago
- Repository for a C++11 implementation of std::out_ptr (p1132), as a standalone library!☆74Updated 10 months ago