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 last month
- 🎭 Actor library for Haskell☆30Updated 2 years ago
- Implementation for ICFP 2020 paper☆50Updated 3 years ago
- Generic functions for single-sorted first-order structural unification☆46Updated last week
- higher-kinded data☆30Updated last year
- Fast higher-order effect handlers with evidence passing☆20Updated last year
- ☆40Updated 5 years ago
- being the scrapings of my stackoverflow answers☆48Updated 5 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated 10 months ago
- ✂️ Hakyll shortcut-links in markdown files☆11Updated 3 years ago
- Hedgehog will eat your typeclass bugs☆56Updated last month
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 6 months ago
- Jupyter notebooks☆58Updated 5 months ago
- A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW☆16Updated 2 months ago
- Where my everyday research happens☆52Updated last week
- Extend the import list of a Haskell source file☆38Updated 3 years ago
- Grammatical parsers - combinator library for parsing general context-free grammars☆36Updated this week
- An implementation of a Zeilberger-style linear type theory.☆11Updated 3 years ago
- Library and utility for processing cabal's plan.json file☆39Updated 3 months ago
- List of Haskell streamers on Twitch, YouTube, etc.☆29Updated 4 years ago
- Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)☆59Updated 4 years ago
- Dependently-typed finite maps (partial dependent products)☆66Updated 2 months ago
- Example uses of linear types☆43Updated 4 years ago
- Efficient parser combinators for Haskell☆39Updated last year
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Updated 4 years ago
- Asymptotically optimal Brodal/Okasaki heaps☆31Updated 5 months ago
- fast utf-8 character sets☆13Updated 2 months ago
- ☆26Updated 4 months ago
- A quasiquoter for neat and simple multiline text interpolation☆56Updated last year
- A Haskell monad transformer library for data validation☆36Updated last year