andreasabel / haskell-style-guide
A style guide for Haskell code.
☆12Updated 4 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
- 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
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆48Updated this week
- Yet another Scheme implemented in Haskell☆20Updated 5 years ago
- Anders: Cubical Type Checker☆24Updated last year
- Parser for Emacs org-mode files☆31Updated last year
- 🎭 Actor library for Haskell☆30Updated 2 years ago
- Mirror of Conor McBride’s 2011 Agda course materials☆12Updated 6 years ago
- ☆40Updated 5 years ago
- Invertible parsing for S-expressions☆34Updated 6 months ago
- Jupyter notebooks☆58Updated 3 months ago
- ☆44Updated last year
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- An efficient graph library for Haskell☆39Updated 7 months ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 5 months ago
- classical sequent calculus, embedded in Haskell☆19Updated 3 years ago
- Haskell monad transformer for weighted, non-deterministic computation☆30Updated 2 months ago
- Haskell implementation of DAP interface data.☆25Updated last year
- Implementation for ICFP 2020 paper☆50Updated 3 years ago
- ☆33Updated 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
- A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW☆15Updated 3 weeks ago
- Low-overhead effect management for concrete monads☆37Updated 3 years ago
- An effect system based on type classes, written in Haskell.☆44Updated 3 years ago
- Core modules for a blazing fast markup combinator library☆22Updated 8 months ago
- Awesome Agda Programming☆16Updated 4 years ago
- HaskellKanren (HK) is an implementation of the Kanren logic programming system in Haskell.☆22Updated 13 years ago
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated last month
- The Hadrian build system for GHC☆9Updated 6 years ago
- todo and unimplemented, robustly implemented☆33Updated 6 months ago