maybetonyfu / chameleonLinks
A tool to make solving type errors in Haskell simple and fun.
β38Updated 3 years ago
Alternatives and similar repositories for chameleon
Users that are interested in chameleon are comparing it to the libraries listed below
Sorting:
- ππ Combinators for writing pretty type errors easilyβ56Updated 3 years ago
- Comparing Haskell effect systems for ergonomics and speedβ67Updated 4 years ago
- βοΈ A refinement proof framework for haskellβ70Updated 2 years ago
- A structured concurrency libraryβ86Updated 9 months ago
- Chapelure is a diagnostic library for Haskellβ46Updated 2 years ago
- Add early return to any do-expressionβ47Updated 4 years ago
- A Haskell front-end frameworkβ39Updated 5 years ago
- Tactic Metaprogramming in Haskellβ56Updated 6 years ago
- β41Updated 2 years ago
- An effect system based on type classes, written in Haskell.β45Updated 4 years ago
- Syntax highlighter for Haskell using the lexer of GHCβ59Updated this week
- A PureScript interpreter in Haskellβ121Updated 3 years ago
- Effects libraries in Haskellβ71Updated 2 years ago
- Compile Dhall expressions to Cabal filesβ101Updated 2 years ago
- semirings and *-semirings of types in base/haskell-platformβ44Updated last year
- Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).β73Updated 11 months ago
- Low-overhead effect management for concrete monadsβ37Updated 3 years ago
- Haskell QuasiQuoter for String Formattingβ70Updated 3 weeks ago
- type level setsβ67Updated 6 years ago
- β41Updated 2 months ago
- Hedgehog will eat your typeclass bugsβ56Updated 6 months ago
- β‘οΈEfficient implementation of Map with types as keysβ101Updated last year
- Convert values from one type into another.β77Updated this week
- Example language server (LSP) implementation for a toy languageβ60Updated 4 years ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005β84Updated 4 years ago
- β22Updated last year
- A Haskell IDE for Visual Studio Code.β27Updated last month
- π Parse Haskell Language Extensionsβ48Updated 2 months ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)β69Updated 3 months ago
- Named parameters (keyword arguments) for Haskellβ98Updated 9 months ago