Property Based Testing in C++ using RapidCheck
☆12Nov 8, 2017Updated 8 years ago
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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Observatory Control Software☆16Updated this week
- Dissectible data structures for implementing iterative traversals.☆20May 6, 2022Updated 4 years ago
- Fast optimizing Brainfuck interpreter in pure python☆14Nov 8, 2025Updated 7 months ago
- geohash implementation in C++☆18Jul 4, 2023Updated 2 years ago
- An abstraction on top of purescript-signal, for avoiding Channels☆15Apr 11, 2017Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Skraflhjálp - DAWG-based Scrabble Helper☆15Feb 5, 2025Updated last year
- Security model and verified implementation of QUIC packet encryption in Low*, built over EverCrypt and EverParse.☆14Aug 11, 2025Updated 9 months ago
- Header-only C++17 library for property-based testing.☆128Jun 18, 2024Updated last year
- A framework for managing daemons from Haskell and libraries for use with postgresql and nix☆23Aug 7, 2025Updated 10 months ago
- EDA Tutorial for 2017 PyCon Portland☆13May 2, 2017Updated 9 years ago
- This repository contains the reference genome assembly Ash1, built from data collected from an Ashkenazi individual.☆12Feb 2, 2022Updated 4 years ago
- dynamic recompilation and loading of code. A replacement for the old plugins library but now based around the GHC API.☆16Jul 30, 2017Updated 8 years ago
- ☆13Aug 29, 2022Updated 3 years ago
- HELP: a dataset for Handling Entailments with Lexical and logical Phenomena (Ver.1.0)☆15Jul 20, 2023Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- DNS tunneling over DoH Dataset☆11Mar 9, 2023Updated 3 years ago
- Run scripts for each Linux desktop notification.☆15Jul 8, 2022Updated 3 years ago
- DNS tunneling implemented in Python☆19Jan 5, 2024Updated 2 years ago
- ☆17Mar 3, 2026Updated 3 months ago
- Jenkins SCM Skip Plugin checks for a matching pattern in SCM commit message and aborts current build if it matches.☆16Updated this week
- ☆16Dec 27, 2022Updated 3 years ago
- Last Writer Slicing: data provenance tracking for concurrent program debugging & analysis☆13Nov 14, 2014Updated 11 years ago
- Scripts for managing Debian and RPM package repositories☆14Jan 14, 2026Updated 4 months ago
- ☆24Dec 21, 2025Updated 5 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Utilities for testing Kubernetes installations☆13Jan 16, 2018Updated 8 years ago
- Just a place to throw general notes that don't belong to any particular library☆21Oct 25, 2014Updated 11 years ago
- A database of small finite categories☆14Jan 10, 2024Updated 2 years ago
- FreeIPA Identity Management Server provisioning.☆19Mar 31, 2026Updated 2 months ago
- 🧬 GHC Plugin for compile-time transformation of list literals to NonEmpty list☆26Jan 11, 2023Updated 3 years ago
- ☆12Oct 5, 2022Updated 3 years ago
- OpenJDK disassembler plugin for HotSpot JVM (based on binutils)☆10Sep 17, 2014Updated 11 years ago
- An Activator template featuring Macroid and Akka on Android☆14Jan 17, 2017Updated 9 years ago
- Netcup DNS API DynDNS Docker Client☆16Aug 23, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Google Chrome Omnibox Search Extensions for Developers☆10Jun 5, 2023Updated 3 years ago
- Set of Git hooks for pep8, pyflakes and trac integration.☆20Jul 25, 2020Updated 5 years ago
- Reproducible hardened Linux images for confidential computing and safe MEV☆20Updated this week
- Common testing tools for C++ which are used for testing in various OSRF projects.☆38Apr 30, 2026Updated last month
- Stack-safe monad transformers implemented using continuation-passing style and uncurried functions.☆23Aug 28, 2022Updated 3 years ago
- A kalilinux/kali-rolling container with extra juice.☆20Jan 5, 2026Updated 5 months ago
- Blog Post - Let Your Code Do The Talking☆10Jul 22, 2019Updated 6 years ago