jlink / shrinking-challengeLinks
Comparing shrinking approaches and performance across different PBT libraries
☆26Updated last year
Alternatives and similar repositories for shrinking-challenge
Users that are interested in shrinking-challenge are comparing it to the libraries listed below
Sorting:
- Proposed documentation for alloytools.org☆70Updated 8 months ago
- QuickCheck extras.☆29Updated 6 years ago
- A Common Intermediate Language backend for Idris 1☆133Updated 6 years ago
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆51Updated 6 months ago
- Labeled IO Library☆57Updated 4 years ago
- ☆47Updated 7 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- Datalog with equality for rust☆68Updated this week
- Example row-polymorphism implementations☆61Updated last year
- A playground for parsers, type checkers, interpreters, compilers, etc.☆40Updated 6 months ago
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- A tutorial about how to apply property-based testing to stateful systems.☆78Updated 2 years ago
- cargo +nightly build☆34Updated 6 years ago
- Ordo: A minimalist language with row polymorphism☆82Updated 3 months ago
- An HTTP library for idris☆39Updated 6 years ago
- The Daedalus data description language☆75Updated 3 months ago
- Higher-order optimization library☆74Updated 2 years ago
- Build system☆123Updated last year
- A Idris Mode for Atom.io☆101Updated last year
- FEAT☆25Updated 7 years ago
- Benchmark to compare async web server + interpreter + web client implementations across various languages☆46Updated 2 years ago
- Presentations on Liquid Haskell, type theory, and more☆45Updated 9 months ago
- Type provider library for Idris☆94Updated 7 years ago
- Stroll: an experimental build system☆41Updated 2 years ago
- Imagine a Dependently Typed Python☆11Updated 3 months ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- A Smarter QuickCheck☆102Updated 7 years ago
- An overview of property-based testing functionality☆68Updated last month
- The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.☆26Updated 8 years ago
- A portable idris2 implementation of TLS☆32Updated 8 months ago