Stars
️🌈 Convenient interface for printing colourful messages
💂♂️ Lightweight pure validation based on Applicative and Selective functors
Hazel, a live functional programming environment with typed holes
A simple compiler pipeline, from parsing to running target code
Collections of awesome neovim plugins.
🚦 A pretty diagnostics, references, telescope results, quickfix and location list to help you solve all the trouble your code is causing.
Reusable GitHub Action to run hlint in a workflow. Use with haskell-actions/hlint-setup.
Distributors - Unifying Parsers, Printers & Grammars
Programming language for literate programming law specification
A formalization of the theory behind the mugen library
📚 A curated list of papers for Software Engineers
ClickHouse Native protocol driver in Haskell
Source material for Certainty by Construction
A Haskell kernel for the Jupyter project.