andreasabel / haskell-style-guideLinks
A style guide for Haskell code.
☆12Updated 3 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☆36Updated last week
- The LC3 virtual machine☆24Updated 8 months ago
- Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)☆59Updated 5 years ago
- Hoogle terminal UI brick example app☆102Updated 4 months ago
- ☆41Updated last year
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- GRIN backend for Idris☆50Updated 5 years ago
- tiny hack for colored pretty-printing within ghci☆20Updated 3 years ago
- Javascript DOM bindings for Idris2☆52Updated 2 months ago
- 🎭 Actor library for Haskell☆30Updated 2 years ago
- A haskell tutorial using CodeWorld☆19Updated 8 months ago
- Where my everyday research happens☆55Updated 3 months ago
- NES programming in Haskell? No way!☆38Updated 9 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 10 months ago
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago
- Yet another Scheme implemented in Haskell☆20Updated 5 years ago
- Jupyter notebooks☆58Updated 9 months ago
- An effect system based on type classes, written in Haskell.☆45Updated 3 years ago
- Quickcheck Properties for common typeclasses☆35Updated 4 months ago
- Wrap up Haskell tools☆15Updated 4 years ago
- Functional, expression-oriented data processing language☆89Updated 2 months ago
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Updated 5 years ago
- Example implementation of Algorithm W for Hindley-Milner type inference☆81Updated 3 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 6 years ago
- it's a starcraft clone but with a dope typesystem☆51Updated 5 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated last year
- 💄🐞 Combinators for writing pretty type errors easily☆56Updated 3 years ago
- A guideline compliant Tetris clone made with Haskell.☆26Updated 4 years ago
- Simple demonstration stack based virtual machine written in Haskell☆42Updated 9 years ago
- Preprocessor for typesetting Haskell sources with LaTeX☆103Updated last year