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
Sorting:
- Validity and validity-based testing☆161Feb 12, 2026Updated 2 weeks ago
- Sift through Haskell code for analysis purposes☆18Jul 24, 2018Updated 7 years ago
- DEPRECATED: Use bevel instead.☆25Dec 17, 2020Updated 5 years ago
- Library and example web app for the SAML Web-based SSO profile.☆16Mar 28, 2025Updated 11 months ago
- ListT done right☆15Oct 11, 2023Updated 2 years ago
- ☆13Feb 2, 2017Updated 9 years ago
- Shell.☆14May 8, 2017Updated 8 years ago
- "Programs that explain their effects" talk material☆17Jun 22, 2018Updated 7 years ago
- Fuzzy string search in Haskell☆14Jan 5, 2024Updated 2 years ago
- Py.test style assertions in Haskell☆67Jun 16, 2018Updated 7 years ago
- Yet another Haskell build system.☆115Jul 3, 2020Updated 5 years ago
- Agda suffices: software written from A to Z in Agda☆16Mar 31, 2019Updated 6 years ago
- Servant dhall bindings☆19Dec 1, 2020Updated 5 years ago
- ST with efficient exceptions☆20Nov 11, 2016Updated 9 years ago
- Machinery for throwing and catching exceptions with some annotation.☆35Apr 11, 2025Updated 10 months ago
- Writeup that goes along with this:☆16Apr 19, 2018Updated 7 years ago
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆35Feb 6, 2018Updated 8 years ago
- quotient types in cubical Agda☆24Feb 4, 2019Updated 7 years ago
- Minimise haskell imports, make exports explicit☆20Sep 5, 2023Updated 2 years ago
- Edit is a monad for rewriting things.☆23Sep 9, 2020Updated 5 years ago
- Parse bytes fast☆25Nov 17, 2025Updated 3 months ago
- This was the moment that Mark totally lost his shit and started rewriting jenkins in shell and ended up with a haskell build bot.☆19Mar 17, 2019Updated 6 years ago
- Generate a cabal freeze file from a stack.yaml☆36Aug 25, 2018Updated 7 years ago
- Equational laws for free☆265May 10, 2025Updated 9 months ago
- Platform-independent library for basic file system operations☆64Feb 1, 2026Updated last month
- A magic typeclass that just does it☆126Aug 1, 2022Updated 3 years ago
- A demo of Functional Reactive Programming in Purescript☆11May 17, 2018Updated 7 years ago
- A haskell wrapper for neo4j's Cypher REST API.☆20Jul 31, 2012Updated 13 years ago
- Reifies arbitrary Haskell terms into types that can be reflected back into terms☆104Mar 3, 2025Updated last year
- rewrite rules for type-level equalities☆62Aug 29, 2025Updated 6 months ago
- A modern testing framework for Haskell with good defaults and advanced testing features.☆129Updated this week
- Haskell install instructions for ZuriHac☆22Feb 26, 2020Updated 6 years ago
- Accessing Postgres in a data frame in Haskell☆24Dec 12, 2023Updated 2 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- Haskell regular expression library that supports derivatives, equivalence, intersection, and complement.☆12Sep 4, 2022Updated 3 years ago
- Blazing fast signature detection☆11Sep 5, 2022Updated 3 years ago
- Servant based API and server for token based authorisation☆14Sep 21, 2019Updated 6 years ago
- Just Build It - a "do what I mean" abstraction for Haskell build tools☆12Jun 8, 2018Updated 7 years ago
- Numerical snippets & tests☆12Jan 5, 2026Updated last month