philipp-classen / CppQuickCheckLinks
QuickCheck-like property based automated testing tool for C++
☆13Updated 10 months ago
Alternatives and similar repositories for CppQuickCheck
Users that are interested in CppQuickCheck are comparing it to the libraries listed below
Sorting:
- Header-only C++17 library for property-based testing.☆127Updated last year
- QuickCheck-like property based automated testing tool for C++☆111Updated 9 years ago
- A framework for reusing code in Clang tools☆127Updated 3 months ago
- Library to support contract programming in C++☆61Updated 2 months ago
- Continuous Perfomance Monitor (CPM) for C++ code☆40Updated 2 years ago
- Generate code to call C++ libraries from other languages☆33Updated 6 years ago
- Speedier handling of clang-tidy checking☆70Updated 6 years ago
- C++ template metaprogramming library collection☆128Updated 9 years ago
- A collection of awful archetypes to ease the testing of generic C++ libraries☆109Updated 6 years ago
- Python module to reduce a cmake file to an AST☆33Updated 3 years ago
- unmaintained - CMake module to activate certain C++ standard, feature checks and appropriate automated workarounds - basically an improve…☆74Updated 8 years ago
- C++ parser combinator library☆99Updated 10 years ago
- Replacements to standard numeric types which throw exceptions on errors☆220Updated last month
- C++ metaprogramming shell☆23Updated 10 months ago
- Implementation of hash_append proposal☆67Updated 9 years ago
- Demonstration of LLVM's opt-viewer tool☆71Updated 8 years ago
- Comparison of build program expressive power☆87Updated 6 years ago
- A Valgrind tool for Herbie☆97Updated 3 years ago
- Modern library for bulk-synchronous parallel programs.☆94Updated 2 years ago
- Ironclad C++ brings type-safety to C++. It provides safe alternatives to unsafe constructs in C++ to prevent type-safety errors that lea…☆18Updated 2 years ago
- Tools to dealing with template instantiation profiles generated by templight.☆83Updated 2 years ago
- Pretty-print hierarchical information automagically☆29Updated 6 years ago
- Example of parser combinator as a C++ template metaprogram for compile time parsing.☆22Updated 9 years ago
- Modern C++ framework for critical systems☆21Updated 2 years ago
- Latest iteration of my static webpage/blog generator☆53Updated 7 months ago
- Static exception memory allocation policy.☆38Updated 11 months ago
- A C++ typestate library☆60Updated 6 years ago
- Get dependencies with cmake☆63Updated 6 years ago
- A minimalistic and high-performance SAT solver☆146Updated 4 years ago
- Rust 2018 and C++20, "constexpr everything", AUTOSAR compliant header-only library intended to support the development of critical system…☆108Updated 4 years ago