andreasabel / haskell-style-guideLinks
A style guide for Haskell code.
☆12Updated 4 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:
- The LC3 virtual machine☆24Updated 9 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆36Updated 3 weeks ago
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago
- Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)☆60Updated 5 years ago
- A haskell tutorial using CodeWorld☆19Updated 8 months ago
- Jupyter notebooks☆58Updated 10 months ago
- tiny hack for colored pretty-printing within ghci☆21Updated 3 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated last year
- Hedgehog will eat your typeclass bugs☆55Updated 4 months ago
- 🎭 Actor library for Haskell☆30Updated 2 years ago
- Reimplementation of a subset of Cabal☆32Updated last week
- GRIN backend for Idris☆50Updated 5 years ago
- Tools for building 3D interactive programs in Haskell☆73Updated 2 weeks ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- ☆41Updated last year
- Yet another yet another recursion scheme library in Haskell.☆89Updated 2 months ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- The Helium compiler, Helium-as-a-library, and the texthint interpreter☆98Updated 10 months ago
- List of Haskell streamers on Twitch, YouTube, etc.☆29Updated 4 years ago
- Interpret Haskell programs into any cartesian closed category.☆65Updated last week
- Haskell implementation of DAP interface data.☆25Updated 4 months ago
- Haskeline wrapper for GHCi-like REPL interfaces☆106Updated 4 months ago
- Recursion schemes for Idris☆64Updated 7 years ago
- Example implementation of Algorithm W for Hindley-Milner type inference☆81Updated 3 years ago
- Wrap up Haskell tools☆15Updated 4 years ago
- ☆28Updated last month
- A presentation for BayHac 2017 on how I uses lenses at work☆77Updated 2 weeks ago
- Run GHCi from within a Reflex FRP application and interact with it using a functional reactive interface.☆40Updated last year
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated 3 weeks ago
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated 2 weeks ago