Comparing shrinking approaches and performance across different PBT libraries
☆29Jan 26, 2026Updated last month
Alternatives and similar repositories for shrinking-challenge
Users that are interested in shrinking-challenge are comparing it to the libraries listed below
Sorting:
- FsCheckUtils adds FsCheck utilities aimed at C# developers and adds some things from ScalaCheck e.g. someof and pick☆10Oct 20, 2015Updated 10 years ago
- QuickCheck extras.☆29Jun 23, 2019Updated 6 years ago
- ☆13Jan 3, 2023Updated 3 years ago
- SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants☆15Mar 15, 2024Updated last year
- Folds and sequence algebras☆19Mar 12, 2023Updated 2 years ago
- A natural transformation package☆16Jan 8, 2026Updated last month
- Servant dhall bindings☆19Dec 1, 2020Updated 5 years ago
- just another compiler experiment☆14Jan 11, 2017Updated 9 years ago
- Macros defined per Erlang/OTP version so you don't have to.☆17Apr 22, 2020Updated 5 years ago
- Reed-Solomon Erasure Coding in Haskell☆23Jan 22, 2017Updated 9 years ago
- ☆20Nov 15, 2024Updated last year
- A Haskell library for generating Ruby consumers of Servant APIs.☆23Jan 14, 2026Updated last month
- ☆45Jan 17, 2017Updated 9 years ago
- yet another STOMP server which is aimed to be low latency and perform high-throughput☆20Oct 10, 2016Updated 9 years ago
- rust verification condition generator☆96Aug 31, 2016Updated 9 years ago
- NIF powered global counters for erlang☆24Oct 7, 2018Updated 7 years ago
- A pure Rust implementation of the ChaCha20-Poly1305 AEAD from RFC 7539.☆30Jun 14, 2025Updated 8 months ago
- some quantile algorithm implementaton for stream data☆12Jul 24, 2018Updated 7 years ago
- Compiler for a small Scala subset☆38Apr 4, 2025Updated 10 months ago
- Formal verification tool based on predicate calculus and supporting several programming languages☆39Aug 23, 2025Updated 6 months ago
- Command-line argument parsing for Pharo☆35Nov 7, 2025Updated 3 months ago
- Find calls to panic functions in rust executables☆36Sep 19, 2021Updated 4 years ago
- JSON instances generation and validation from JSON Schema and other JSON data descriptions☆39Jun 29, 2017Updated 8 years ago
- Swipe is a code generation tool that automates the creation of repetitively used code☆12Nov 10, 2022Updated 3 years ago
- A classical propositional theorem prover in Haskell, using Wang's Algorithm.☆36Jun 12, 2019Updated 6 years ago
- Experimental compiler/UI components in Rust.☆38Aug 22, 2018Updated 7 years ago
- A Emacs major mode for editing Hack code☆15Feb 7, 2026Updated 3 weeks ago
- Dawn Phase 1 proto-language☆37Apr 23, 2021Updated 4 years ago
- A hardware-optimized high-quality pseudorandom number generator☆37Jan 28, 2026Updated last month
- Erlang module to convert and send cover data to coveralls.io (or similar). Available as a hex package on https://hex.pm/packages/coverall…☆41May 31, 2022Updated 3 years ago
- The package manager.☆36Mar 24, 2023Updated 2 years ago
- Concurrent algorithms in Haskell using software transactional memory (STM monad)☆14Jan 5, 2023Updated 3 years ago
- Building Better Services And Clients☆41Mar 17, 2019Updated 6 years ago
- A qp-trie implementation in Rust☆44Dec 31, 2024Updated last year
- A haskell wrapper for neo4j's Cypher REST API.☆20Jul 31, 2012Updated 13 years ago
- Ratpack support for rxjava2☆11Dec 3, 2018Updated 7 years ago
- Tool to convert dotnet core dependencies to nix expressions, this project itself is the test case for now☆11Oct 11, 2022Updated 3 years ago
- An interpreter for a small ML-ish language☆11Oct 6, 2017Updated 8 years ago
- An simplest PE parser, which list all import and export entries☆12Oct 11, 2018Updated 7 years ago