rudymatela / extrapolate
generalize counter-examples of property-based testing
☆13Updated 9 months ago
Related projects ⓘ
Alternatives and complementary repositories for extrapolate
- Types representing line and column positions and ranges in text files☆11Updated last year
- A cross-platform, cross-console way to handle echoing terminal input☆10Updated 3 years ago
- Safe and minimal Haskell Prelude☆10Updated 4 years ago
- A principal solution to ghost threads and silent exceptions☆24Updated last year
- Just Build It - a "do what I mean" abstraction for Haskell build tools☆12Updated 6 years ago
- Sift through Haskell code for analysis purposes☆18Updated 6 years ago
- A GLFW-b adapter for the Haskell Reflex FRP implementation.☆10Updated 5 years ago
- Blazing fast signature detection☆10Updated 2 years ago
- Type-level assertion operators☆16Updated 6 years ago
- Less Type, more Typeable.☆14Updated 5 years ago
- Vector builder☆15Updated 10 months ago
- Robust prettyprinter for output of auto-generated Show instances☆18Updated 4 years ago
- Read ghc-core with style. javascript and CSS style.☆13Updated 9 years ago
- Haskell: Monorepo for our open source packages☆17Updated 7 years ago
- DEPRECATED Tools for curating Stackage package sets and building reusable package databases☆10Updated 4 years ago
- Advent of code 2017 ... ho' ho' ho', so much code' code' code', merry christmas!☆8Updated 6 years ago
- Haskell library for injecting fields into aeson values☆13Updated last year
- Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.☆27Updated last week
- Haskell routes using dependent types☆10Updated 8 years ago
- haskell library for monad transformers, like mtl's ReaderT/StateT, but more than one contained value/type☆17Updated 2 years ago
- A compiler for a strongly typed, haskell-like functional language☆22Updated 6 years ago
- Functional Vector Graphics☆15Updated 7 years ago
- A Haskell code formatter using prettyprinter and the GHC API☆24Updated 6 years ago
- Compiler preprocessor introducing a syntactic extension for anonymous records☆12Updated 8 years ago
- Modified versions of Cabal & Haddock for rendering Annotated HTML with Mouseover Types.☆12Updated 8 years ago
- Haskell types and parsers for software version numbers.☆20Updated 5 months ago
- A Haskell quasi-quoter for typeful results of regex captures.☆13Updated 2 years ago
- Fast serialization in haskell☆15Updated 4 years ago
- Miscellaneous constructions on monoids☆18Updated 3 months ago
- A Haskell client library for Cayley database graph☆14Updated 2 months ago