andreasabel / haskell-style-guide
A style guide for Haskell code.
☆12Updated 5 years ago
Alternatives and similar repositories for haskell-style-guide:
Users that are interested in haskell-style-guide are comparing it to the libraries listed below
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆48Updated 3 weeks ago
- 🎭 Actor library for Haskell☆30Updated 2 years ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- Anders: Cubical Type Checker☆24Updated last year
- SPJ's tutorial on implementing functional languages☆28Updated 5 years ago
- A Haskell monad transformer library for data validation☆36Updated last year
- higher-kinded data☆30Updated last year
- Implementation for ICFP 2020 paper☆50Updated 3 years ago
- 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
- todo and unimplemented, robustly implemented☆33Updated 7 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆29Updated last year
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated 9 months ago
- Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)☆59Updated 4 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- classical sequent calculus, embedded in Haskell☆20Updated 3 years ago
- ☆40Updated 5 years ago
- Low-overhead effect management for concrete monads☆37Updated 3 years ago
- Tactic Metaprogramming in Haskell☆56Updated 5 years ago
- Hedgehog will eat your typeclass bugs☆56Updated last month
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- Grammatical parsers - combinator library for parsing general context-free grammars☆36Updated 2 weeks ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- Example uses of linear types☆43Updated 4 years ago
- Core modules for a blazing fast markup combinator library☆22Updated 9 months ago
- Session types in Idris2!☆27Updated 4 years ago
- All the byte bashing you didn't know you wanted in Haskell.☆21Updated 3 years ago
- Haskell monad transformer for weighted, non-deterministic computation☆30Updated 2 months ago
- Deep evaluation of data structures☆41Updated 7 months ago
- Clean up the formatting of 'show' output☆21Updated 7 months ago
- Bidirectional JSON serialization☆40Updated 4 years ago