jlink / shrinking-challengeLinks
Comparing shrinking approaches and performance across different PBT libraries
☆28Updated 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☆71Updated 2 months ago
- QuickCheck extras.☆29Updated 6 years ago
- Benchmark to compare async web server + interpreter + web client implementations across various languages☆48Updated 2 years ago
- A Common Intermediate Language backend for Idris 1☆134Updated 7 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆51Updated 10 months ago
- The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.☆27Updated 8 years ago
- Labeled IO Library☆59Updated 5 years ago
- ☆47Updated 8 years ago
- Example row-polymorphism implementations☆61Updated 2 years ago
- Dhall helpers for github actions☆54Updated 2 years ago
- cargo +nightly build☆34Updated 6 years ago
- An HTTP library for idris☆39Updated 6 years ago
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆65Updated 2 weeks ago
- A Idris Mode for Atom.io☆102Updated last year
- enumerative property-based testing for Haskell☆52Updated 3 months ago
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago
- ☆60Updated 6 years ago
- Simple, IO-based Haskell library for Erlang-inspired thread supervisors☆29Updated 3 years ago
- Presentations on Liquid Haskell, type theory, and more☆45Updated last year
- Dhall support for the DOT language for graphviz☆38Updated 3 years ago
- Ordo: A minimalist language with row polymorphism☆85Updated 7 months ago
- An overview of property-based testing functionality☆74Updated 2 weeks ago
- The Ur/Web People Organizer☆30Updated last year
- A pure Haskell implementation of Datalog☆105Updated 5 years ago
- Manage your Containerfile with Dhall.☆33Updated 4 years ago
- Datalog with equality for rust☆71Updated last week
- ☆43Updated 4 years ago
- ☆23Updated 7 years ago