Stars
Hazel, a live functional programming environment with typed holes
A simple compiler pipeline, from parsing to running target code
🚦 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.
Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4
Parsing gigabytes of JSON per second : used by Facebook/Meta Velox, the Node.js runtime, ClickHouse, WatermelonDB, Apache Doris, Milvus, StarRocks
Automatic collection of Tasty tests