Stars
A GitHub action that creates git tags on .cabal version bumps
GHC Whole Program Compiler and External STG IR tooling
Compare the public API of different versions of a Hackage library
A modern Haskell debugger
Inspecting tool for GHC compilation pipeline
A shell script which checks your $HOME for unwanted files and directories.
Miscellaneous articles. The readme is the table of contents.
Documentation about Haskell's dangerous functions and a hlint config file to warn about them
A modern Prolog implementation written mostly in Rust.
Test monadic programs using state machine based models
Implementation of a Consensus Layer for the Ouroboros family of protocols