maybetonyfu / chameleon
A tool to make solving type errors in Haskell simple and fun.
☆36Updated 2 years ago
Alternatives and similar repositories for chameleon:
Users that are interested in chameleon are comparing it to the libraries listed below
- Haskell monad transformer for weighted, non-deterministic computation☆30Updated 3 months ago
- Tactic Metaprogramming in Haskell☆56Updated 5 years ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- type level sets☆67Updated 5 years ago
- 💄🐞 Combinators for writing pretty type errors easily☆56Updated 3 years ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆68Updated 3 weeks ago
- Haskell QuasiQuoter for String Formatting☆69Updated 3 months ago
- 💂♂️ Lightweight pure validation based on Applicative and Selective functors☆67Updated 4 months ago
- Bidirectional Parsing. Work in Progress☆32Updated 7 months ago
- Chapelure is a diagnostic library for Haskell☆45Updated last year
- GHC plugin to desugar ! into do-notation☆37Updated 2 months ago
- Syntax highlighter for Haskell using the lexer of GHC☆59Updated 3 months ago
- Libraries for the Effectful Haskell effects system☆22Updated 3 years ago
- Comparing Haskell effect systems for ergonomics and speed☆66Updated 4 years ago
- An effect system based on type classes, written in Haskell.☆44Updated 3 years ago
- Composable Concurrent Computation Done Right☆30Updated 2 years ago
- A syntax for unions of constraints in Haskell☆70Updated 7 years ago
- ☆40Updated 5 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆50Updated last month
- Generates a references DB from .hie files☆66Updated 3 weeks ago
- A Haskell monad transformer library for data validation☆36Updated last year
- ☆44Updated last month
- Generic data types in Haskell, utilities for GHC.Generics☆45Updated 2 weeks ago
- A Typeclass for user-facing output☆56Updated last month
- Tasty meal of Dhall☆66Updated last year
- ☆22Updated 5 months ago
- A utility for managing Hackage dependencies and manipulating Cabal files from the command line.☆77Updated last year
- Symbol manipulation☆36Updated 2 years ago
- A modern Haskell debugger☆30Updated this week