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.
  ☆126Updated 7 months ago
• grogers0 / CppQuickCheck
  QuickCheck-like property based automated testing tool for C++
  ☆112Updated 8 years ago
• gergoerdi / metafun
  Compile Haskell-like code into C++ template metaprograms
  ☆58Updated 8 years ago
• jonsterling / Lens.hpp
  Functional Lenses in C++
  ☆21Updated 13 years ago
• exclipy / inline_variant_visitor
  Making Boost Variants usable
  ☆38Updated 8 years ago
• wavewave / fficxx
  Haskell-C++ Foreign Function Interface Generator
  ☆142Updated last year
• ndmitchell / build-shootout
  Comparison of build program expressive power
  ☆86Updated 5 years ago
• luc-tielen / souffle-haskell
  Haskell bindings for the Souffle datalog language
  ☆102Updated 8 months ago
• chpatrick / clang-pure
  Easy C++ code analysis with pure Haskell
  ☆35Updated 3 months ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 2 years ago
• graninas / cpp_stm_free
  Composable monadic STM for C++ on Free monads
  ☆72Updated 5 years ago
• dkormalev / cefal
  (Concepts-enabled) Functional Abstraction Layer for C++
  ☆53Updated 4 years ago
• grievejia / pcomb
  Simple C++ Parser Combinator Library
  ☆15Updated 9 years ago
• GaloisInc / jvm-parser
  A Haskell parser for JVM bytecode files
  ☆38Updated last year
• gregorycollins / hashtables
  Mutable hash tables for Haskell, in the ST monad
  ☆127Updated last month
• gasche / icfp2017-papers
  Link to preprints for ICFP'17 and colocated events
  ☆136Updated 6 years ago
• sabel83 / metatest
  Testing framework for C++ template metaprograms
  ☆11Updated 9 years ago
• owickstrom / tlaplus-cli-template
  CLI-driven TLA+ project template
  ☆43Updated 5 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆81Updated 3 years ago
• keean / Parser-Combinators
  C++ parser combinator library
  ☆97Updated 9 years ago
• ekmett / succinct
  playground for working with succinct data structures
  ☆94Updated 9 years ago
• ziman / idris-py
  Python backend for Idris (generates Python source, not bytecode).
  ☆124Updated 7 years ago
• inc-lc / ilc-scala
  Scala implementation of ILC, with benchmarks
  ☆25Updated 8 years ago
• aloiscochard / codec-jvm
  A JVM bytecode assembler written in Haskell.
  ☆36Updated 8 years ago
• ekmett / cadenza
  every day i'm truffling
  ☆69Updated 3 years ago
• jaspervdj / talks
  Slides & demos for talks I do
  ☆59Updated 4 years ago
• idris-hackers / idris-llvm
  Idris LLVM codegen factored out
  ☆78Updated 7 years ago
• ekmett / hask
  Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)
  ☆163Updated 3 years ago
• scala / scala-continuations
  the Scala delimited continuations plugin and library
  ☆89Updated 4 years ago