andreasabel / haskell-style-guideLinks
A style guide for Haskell code.
☆13Updated 8 months 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
Sorting:
- Implementing a small functional language with a combinator based graph-reduction machine☆40Updated 4 months ago
- Reimplementation of a subset of Cabal☆35Updated 2 weeks ago
- Hoogle terminal UI brick example app☆105Updated 3 weeks ago
- ☆38Updated 7 months ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆36Updated last year
- ☆41Updated 2 years ago
- 🎭 Actor library for Haskell☆30Updated 2 years ago
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago
- Jupyter notebooks☆58Updated 2 months ago
- Free Algebras in Haskell☆38Updated last year
- ☆45Updated 2 years ago
- Core modules for a blazing fast markup combinator library☆24Updated 8 months ago
- Minimalistic dependent type theory with syntactic metaprogramming☆60Updated last year
- Example implementation of Algorithm W for Hindley-Milner type inference☆81Updated 4 years ago
- NES programming in Haskell? No way!☆39Updated 10 years ago
- The LC3 virtual machine☆24Updated last year
- GRIN backend for Idris☆50Updated 5 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆55Updated 8 years ago
- Preprocessor for typesetting Haskell sources with LaTeX☆104Updated last month
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Updated 5 years ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆50Updated 3 weeks ago
- A Dynamic Reconfiguration Library for Haskell Programs☆93Updated 5 months ago
- Quickcheck Properties for common typeclasses☆35Updated last month
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated last month
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- 💄🐞 Combinators for writing pretty type errors easily☆56Updated 3 years ago
- Functional, expression-oriented data processing language☆89Updated this week
- A JSON schema language☆28Updated 9 months ago
- Bit vectors: 8x less memory, up to 3500x faster than Vector Bool☆76Updated last month
- ♾️ Sized list☆47Updated 3 weeks ago