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
- 💄🐞 Combinators for writing pretty type errors easily☆55Updated 3 years ago
- Haskell monad transformer for weighted, non-deterministic computation☆30Updated last month
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 2 months ago
- An effect system based on type classes, written in Haskell.☆44Updated 3 years ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆68Updated 5 months ago
- GHC plugin to desugar ! into do-notation☆37Updated 2 weeks ago
- type level sets☆67Updated 5 years ago
- Tactic Metaprogramming in Haskell☆56Updated 5 years ago
- Retrying for humans using Haskell.☆45Updated last year
- Haskell QuasiQuoter for String Formatting☆68Updated 2 months ago
- Haskell program configuration using higher kinded data☆29Updated 10 months ago
- GHC language extensions table☆48Updated 3 months ago
- ☆35Updated 6 months ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Bidirectional JSON serialization☆40Updated 4 years ago
- Low-overhead effect management for concrete monads☆37Updated 2 years ago
- Standard containers, with keys that carry type-level proofs of their own presence.☆80Updated 5 years ago
- ☆92Updated 11 months ago
- Syntax highlighter for Haskell using the lexer of GHC☆59Updated last month
- Comparing Haskell effect systems for ergonomics and speed☆65Updated 4 years ago
- ☆22Updated 3 months ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- Symbol manipulation☆36Updated last year
- Chapelure is a diagnostic library for Haskell☆45Updated last year
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆49Updated this week
- A Typeclass for user-facing output☆56Updated 3 weeks ago
- ☆17Updated this week
- A PureScript interpreter in Haskell☆119Updated 2 years ago
- Literally the best anonymous records☆35Updated 2 years ago
- Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).☆68Updated 2 months ago