Comparing shrinking approaches and performance across different PBT libraries
☆29Mar 23, 2026Updated 3 weeks ago
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 8 months ago
- A very minimal implementation of the core idea of Hypothesis☆150Jul 5, 2024Updated last year
- 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 sample repo for a chatbot interface powered by a fine tuned LLM☆27Mar 2, 2025Updated last year
- A Haskell library for generating Ruby consumers of Servant APIs.☆23Updated this week
- A natural transformation package☆16Jan 8, 2026Updated 3 months ago
- ☆12Sep 5, 2022Updated 3 years ago
- The Stroscot Programming Language☆12Jan 15, 2024Updated 2 years ago
- lazy generators with observation☆14Nov 2, 2023Updated 2 years ago
- Visually explore package and module dependencies for an Elm project☆33Oct 10, 2017Updated 8 years ago
- ☆13Jan 3, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆20Nov 15, 2024Updated last year
- AngularJS directive for Elm module☆11Feb 17, 2019Updated 7 years ago
- Simple way how to improve experience from performance profiling and debugging in Elm output code.☆14Aug 3, 2020Updated 5 years ago
- Data type isomorphic to α ∨ β ∨ (α ∧ β)☆14Apr 27, 2022Updated 3 years ago
- Dependently Typed Metaprogramming Exercises☆24Feb 9, 2018Updated 8 years ago
- 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 5 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 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Record 💭 comments and ❯ commands from from shell scripts in addition to their output.☆31Apr 19, 2023Updated 2 years ago
- Advent of Code in Roc☆14Feb 16, 2022Updated 4 years ago
- A library for applying a row of rules for validation to refine a value☆12Jun 20, 2018Updated 7 years ago
- ☆12May 7, 2023Updated 2 years ago
- Go library to access the blockchain state of Go-ethereum☆16Feb 14, 2023Updated 3 years ago
- An Actor Model framework for Elm☆12Dec 12, 2022Updated 3 years ago
- Folds and sequence algebras☆19Mar 12, 2023Updated 3 years 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☆25Oct 1, 2021Updated 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- DEC VT05 terminal emulator for Windows, supports serial ports, telnet, and raw TCP☆12Oct 12, 2020Updated 5 years ago
- LCOV tracefile parser/merger/filter in pure Rust.☆17Updated this week
- rust verification condition generator☆96Aug 31, 2016Updated 9 years ago
- Starter template for an Elm package.☆15Mar 21, 2026Updated 3 weeks ago
- Reed-Solomon Erasure Coding in Haskell☆23Jan 22, 2017Updated 9 years ago
- Specification of the Cedille Core language☆36Jul 21, 2020Updated 5 years ago
- WebAssembly as a Fuzzing Compilation Target @ FUZZING'24☆20Feb 13, 2026Updated 2 months ago