Comparing shrinking approaches and performance across different PBT libraries
☆30Apr 20, 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants☆15Mar 15, 2024Updated 2 years ago
- A PBT framework☆10Jul 19, 2025Updated 10 months ago
- A sample verifier for a toy language built on top of Boogie☆25Nov 24, 2022Updated 3 years ago
- just another compiler experiment☆14Jan 11, 2017Updated 9 years ago
- Servant dhall bindings☆19Dec 1, 2020Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- QuickCheck extras.☆29Jun 23, 2019Updated 6 years ago
- A Haskell library for generating Ruby consumers of Servant APIs.☆23Apr 13, 2026Updated last month
- A natural transformation package☆16Jan 8, 2026Updated 4 months ago
- A builder for LaTeX, knitr, literate Agda, literate Haskell and Pweave that automatically builds dependencies.☆21Jan 22, 2019Updated 7 years ago
- lazy generators with observation☆14Nov 2, 2023Updated 2 years ago
- ☆13Jan 3, 2023Updated 3 years ago
- AngularJS directive for Elm module☆11Feb 17, 2019Updated 7 years ago
- Data type isomorphic to α ∨ β ∨ (α ∧ β)☆14Apr 27, 2022Updated 4 years ago
- Dependently Typed Metaprogramming Exercises☆24Feb 9, 2018Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A variation on the game Asteroids, written in Elm☆47Jan 31, 2021Updated 5 years ago
- Macros defined per Erlang/OTP version so you don't have to.☆17Apr 22, 2020Updated 6 years ago
- Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core☆28Mar 24, 2019Updated 7 years ago
- Type equality constraints☆16Apr 27, 2022Updated 4 years ago
- Example of using Dhall to generate a terraform file to manage a Github Organisation☆11Dec 8, 2020Updated 5 years ago
- Type-safe heterogeneous lists for C# and F#.☆10Aug 6, 2018Updated 7 years ago
- A tiny, single-file yesod app that can be used as a base for reproducing bugs☆14Mar 24, 2022Updated 4 years ago
- Advent of Code in Roc☆14Feb 16, 2022Updated 4 years ago
- ☆12May 7, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A library for applying a row of rules for validation to refine a value☆12Jun 20, 2018Updated 7 years ago
- An Actor Model framework for Elm☆12Dec 12, 2022Updated 3 years ago
- Go library to access the blockchain state of Go-ethereum☆16Feb 14, 2023Updated 3 years ago
- Unified Maude model-checking tool☆13May 9, 2026Updated 2 weeks ago
- Playing around with languages concepts like type inference, pratt parsing, parser combinators and immutability.☆19Jul 10, 2024Updated last year
- rules for writing and typesetting☆26Oct 1, 2021Updated 4 years ago
- DEC VT05 terminal emulator for Windows, supports serial ports, telnet, and raw TCP☆12Oct 12, 2020Updated 5 years ago
- Use Magit from anywhere without configuring Emacs☆12Jan 27, 2024Updated 2 years ago
- Simple example on how to patch elm packages☆11Nov 19, 2021Updated 4 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- LCOV tracefile parser/merger/filter in pure Rust.☆17Apr 30, 2026Updated 3 weeks ago
- Docker container for an OCaml + OPAM setup☆24Nov 28, 2016Updated 9 years ago
- Reed-Solomon Erasure Coding in Haskell☆23Jan 22, 2017Updated 9 years ago
- ☆12Aug 8, 2016Updated 9 years ago
- taskell 2.0☆15Oct 27, 2021Updated 4 years ago
- Specification of the Cedille Core language☆36Jul 21, 2020Updated 5 years ago
- WebAssembly as a Fuzzing Compilation Target @ FUZZING'24☆20Updated this week