Alternatives and similar repositories for property-based-testing-cpp

Users that are interested in property-based-testing-cpp are comparing it to the libraries listed below

• graninas / cpp_lenses
  Functional lenses on C++ (highly experimental).
  ☆10Updated 5 years ago
• thejohnfreeman / autocheck
  Header-only C++17 library for property-based testing.
  ☆127Updated last year
• grogers0 / CppQuickCheck
  QuickCheck-like property based automated testing tool for C++
  ☆111Updated 8 years ago
• gergoerdi / metafun
  Compile Haskell-like code into C++ template metaprograms
  ☆59Updated 9 years ago
• GJDuck / libf
  C++ as a Pure Functional Programming Language
  ☆189Updated 6 years ago
• siedentop / rapidfuzz
  Experimentation around 'emil-e/rapidcheck' by combining it with libFuzzer
  ☆27Updated 7 years ago
• jonsterling / Lens.hpp
  Functional Lenses in C++
  ☆21Updated 14 years ago
• ndmitchell / build-shootout
  Comparison of build program expressive power
  ☆88Updated 5 years ago
• keean / Parser-Combinators
  C++ parser combinator library
  ☆97Updated 10 years ago
• ndmitchell / rattle
  Forward build system with speculation and caching
  ☆108Updated last year
• snowleopard / build
  Build Systems à la Carte
  ☆253Updated last year
• BartoszMilewski / Okasaki
  Functional data structures in C++
  ☆567Updated 5 years ago
• maciejpirog / cpp-effects
  Effect handlers in C++
  ☆124Updated last year
• sabel83 / mpllibs
  C++ template metaprogramming library collection
  ☆128Updated 9 years ago
• LoopPerfect / neither
  Either and Maybe monads for better error-handling in C++ ↔️
  ☆253Updated 5 years ago
• awgn / cat
  C++20 functional library
  ☆297Updated 2 years ago
• graninas / cpp_stm_free
  Composable monadic STM for C++ on Free monads
  ☆77Updated 5 years ago
• leepike / Copilot
  A (Haskell DSL) stream language for generating hard real-time C code.
  ☆150Updated 6 years ago
• kirkshoop / transducer
  transducers in C++ 14
  ☆40Updated 10 years ago
• mikr / whatstyle
  whatstyle finds a code format style that fits given source files
  ☆174Updated 3 years ago
• grievejia / pcomb
  Simple C++ Parser Combinator Library
  ☆15Updated 9 years ago
• androm3da / optviewer-demo
  Demonstration of LLVM's opt-viewer tool
  ☆71Updated 8 years ago
• jarrett / cpphs
  Tutorial on integrating C++ and Haskell
  ☆89Updated 5 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 4 years ago
• AccelerateHS / accelerate-llvm
  LLVM backend for Accelerate
  ☆166Updated 3 months ago
• sabel83 / metatest
  Testing framework for C++ template metaprograms
  ☆11Updated 10 years ago
• qfpl / hpython
  Haskell language tools for Python
  ☆162Updated 5 years ago
• jaredhoberock / hindley_milner
  A C++11 implementation of Hindley-Milner type inference.
  ☆79Updated 12 years ago
• dkormalev / cefal
  (Concepts-enabled) Functional Abstraction Layer for C++
  ☆52Updated 5 years ago
• toby-allsopp / free-monads-in-cpp
  Functors, Monads and Free Monads in C++
  ☆18Updated 2 years ago