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:
- Exact Computations with Reals☆12Mar 23, 2026Updated 7 months ago
- Nazghul is an Ultima-like game engine (2D tile graphics) with combat, magic, NPC AI, an embedded scripting language, and in-game editing.☆13Jul 9, 2013Updated 13 years ago
- Playdate Blackletter is a font designed for Playdate's Pulp game maker for a spookier look 💀☆16Jan 21, 2022Updated 4 years ago
- Observatory Control Software☆16Oct 21, 2026Updated last week
- ☆14Mar 14, 2015Updated 11 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Consolidate all the blocking fingerprints in one place☆14Jun 11, 2025Updated last year
- EDA Tutorial for 2017 PyCon Portland☆13May 2, 2017Updated 9 years ago
- A framework for managing daemons from Haskell and libraries for use with postgresql and nix☆23Aug 7, 2025Updated last year
- A simple and fast Elm-like library☆13Nov 4, 2023Updated 2 years ago
- Dhall Syntax Highlighting for VS Code☆18Mar 2, 2026Updated 7 months ago
- A Gothic Hentaigana font☆17Jun 18, 2022Updated 4 years ago
- A TypeScript Framework for non-spa pages☆11Oct 13, 2026Updated 2 weeks ago
- Experimental stuff around scala☆10Aug 17, 2021Updated 5 years ago
- ☆12Feb 12, 2018Updated 8 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.
- Jenkins SCM Skip Plugin checks for a matching pattern in SCM commit message and aborts current build if it matches.☆16Oct 2, 2026Updated 3 weeks ago
- Run scripts for each Linux desktop notification.☆15Jul 8, 2022Updated 4 years ago
- Solutions to the Advent of Code editions, mainly using Kotlin.☆19Dec 17, 2022Updated 3 years ago
- Dissectible data structures for implementing iterative traversals.☆21May 6, 2022Updated 4 years ago
- ☆16Dec 27, 2022Updated 3 years ago
- Simple rainbow table implementation in Python☆13Apr 10, 2019Updated 7 years ago
- Efficient functorized iterators for OCaml.☆14Feb 23, 2018Updated 8 years ago
- Visual Studio Code extension for C64 coding with Kick Assembler☆28Nov 15, 2025Updated 11 months ago
- A Windows command line interface to configure various settings of the Blusb Universal BT-USB Model M Controller☆11Dec 7, 2020Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Hash Routing for Bespoke.js☆15Jan 16, 2018Updated 8 years ago
- QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.☆1,114Oct 5, 2026Updated 3 weeks ago
- A database of small finite categories☆15Aug 26, 2026Updated 2 months ago
- A website and PWA for scouting teams at FRC competitions.☆11Nov 30, 2023Updated 2 years ago
- Docker PoC for CVE-2022-22965 with Spring Boot version 2.6.5☆16Apr 3, 2022Updated 4 years ago
- Showing how to release to Maven Central using GitHub Actions, create a GitHub release with commitlogs and publishing SNAPSHOT versions to…☆18Feb 7, 2021Updated 5 years ago
- Small lib to batch and cache loading of async data, bring your own fetch implementation☆48May 23, 2018Updated 8 years ago
- Creates a PDF report out of PCP archive files collected via pmlogger☆11Aug 5, 2021Updated 5 years ago
- Code from the online events.☆10Nov 25, 2019Updated 6 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.
- High Assurance Cryptographic Software☆10Sep 1, 2026Updated last month
- Simple library/tools in order to ease the implementation of role based access control (rbac). Focus is on simplicity and integration with…☆21Jan 15, 2021Updated 5 years ago
- ☆12Oct 5, 2022Updated 4 years ago
- Boilerplate and tests for the first Solidity Gas Golfing Contest☆11Nov 25, 2019Updated 6 years ago
- Setup a Primary Domain Controller and Active Directory on a Windows Server with a easy to use and abstracted Ansible role.☆21Mar 19, 2024Updated 2 years ago
- Code for my blog post "Generating Mazes with Inductive Graphs"☆41Nov 9, 2018Updated 7 years ago
- Header-only C++17 library for property-based testing.☆127Jun 18, 2024Updated 2 years ago