andreasabel / haskell-style-guide
A style guide for Haskell code.
☆12Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for haskell-style-guide
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆47Updated 2 months ago
- 🎭 Actor library for Haskell☆30Updated last year
- A haskell tutorial using CodeWorld☆17Updated 7 months ago
- Generic functions for single-sorted first-order structural unification☆41Updated this week
- Text generation language☆32Updated 2 weeks ago
- A Haskell monad transformer library for data validation☆36Updated last year
- Implementation for ICFP 2020 paper☆49Updated 3 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- Automatic piecewise-mutable references for your types☆43Updated 4 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆55Updated 5 months ago
- Automatically derivable JSON marshallers in the spirit of Haskell's aeson☆16Updated 5 months ago
- Idris 2 bindings to various C libraries☆15Updated 3 years ago
- An effect system based on type classes, written in Haskell.☆44Updated 3 years ago
- Fast higher-order effect handlers with evidence passing☆17Updated 10 months ago
- todo and unimplemented, robustly implemented☆34Updated 2 months ago
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Updated 4 years ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆34Updated 3 weeks ago
- Lua backend for Idris 2☆27Updated 2 years ago
- Tactic Metaprogramming in Haskell☆57Updated 5 years ago
- classical sequent calculus, embedded in Haskell☆19Updated 2 years ago
- Yet another Scheme implemented in Haskell☆20Updated 4 years ago
- ☆40Updated last year
- Source code for haskle.net☆30Updated last year
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated last month
- ☆39Updated 4 years ago
- the dynabook but for haskell☆23Updated 5 years ago
- A simple library I wrote to allow me to quickly and easily construct command line interfaces.☆28Updated last year
- HaskellKanren (HK) is an implementation of the Kanren logic programming system in Haskell.☆22Updated 13 years ago