Signature inference for Functional Property Discovery in Haskell
☆38Sep 17, 2017Updated 8 years ago
Alternatives and similar repositories for easyspec
Users that are interested in easyspec are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Validity and validity-based testing☆161Feb 12, 2026Updated last month
- Sift through Haskell code for analysis purposes☆18Jul 24, 2018Updated 7 years ago
- DEPRECATED: Use bevel instead.☆25Dec 17, 2020Updated 5 years ago
- ST with efficient exceptions☆20Nov 11, 2016Updated 9 years ago
- Fuzzy string search in Haskell☆14Jan 5, 2024Updated 2 years ago
- Yet another Haskell build system.☆115Jul 3, 2020Updated 5 years ago
- Minimise haskell imports, make exports explicit☆20Sep 5, 2023Updated 2 years ago
- Py.test style assertions in Haskell☆67Jun 16, 2018Updated 7 years ago
- Equational laws for free☆265May 10, 2025Updated 10 months ago
- Library and example web app for the SAML Web-based SSO profile.☆16Mar 28, 2025Updated 11 months ago
- The Notes☆12Jan 10, 2018Updated 8 years ago
- Servant dhall bindings☆19Dec 1, 2020Updated 5 years ago
- Parse bytes fast☆25Nov 17, 2025Updated 4 months ago
- Agda suffices: software written from A to Z in Agda☆16Mar 31, 2019Updated 6 years ago
- fast utf-8 character sets☆14Mar 3, 2025Updated last year
- ListT done right☆15Oct 11, 2023Updated 2 years ago
- Library and executable for working with playlist files.☆13Dec 15, 2025Updated 3 months ago
- Edit is a monad for rewriting things.☆23Sep 9, 2020Updated 5 years ago
- Machinery for throwing and catching exceptions with some annotation.☆35Apr 11, 2025Updated 11 months ago
- ☆13Feb 2, 2017Updated 9 years ago
- A magic typeclass that just does it☆126Aug 1, 2022Updated 3 years ago
- Experiments with linear types☆14Feb 23, 2018Updated 8 years ago
- Keep your laziness in check!☆35Feb 26, 2026Updated 3 weeks ago
- Port of Scala/Haskell Refined library to Idris☆17Apr 25, 2021Updated 4 years ago
- 👅 Parse Haskell Language Extensions☆48Sep 27, 2025Updated 5 months ago
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆35Feb 6, 2018Updated 8 years ago
- 🎭 Actor library for Haskell☆30Feb 16, 2023Updated 3 years ago
- A modern testing framework for Haskell with good defaults and advanced testing features.☆129Feb 26, 2026Updated 3 weeks ago
- Haskell counters that can be safely incremented from multiple threads☆19Oct 7, 2025Updated 5 months ago
- Generate a cabal freeze file from a stack.yaml☆36Aug 25, 2018Updated 7 years ago
- Accessing Postgres in a data frame in Haskell☆24Dec 12, 2023Updated 2 years ago
- FEAT☆25May 26, 2018Updated 7 years ago
- Inspection Testing for Haskell☆190Jan 17, 2026Updated 2 months ago
- CI assistant☆49Jun 1, 2025Updated 9 months ago
- Systematic concurrency testing meets Haskell.☆197Jan 13, 2026Updated 2 months ago
- a language about nothing☆19Aug 3, 2019Updated 6 years ago
- Haskell regular expression library that supports derivatives, equivalence, intersection, and complement.☆12Sep 4, 2022Updated 3 years ago
- A GitHub action for publishing packages on Hackage☆33Jan 8, 2024Updated 2 years ago
- rewrite rules for type-level equalities☆62Aug 29, 2025Updated 6 months ago