Shell utility to interactively select lines from stdin

Run fix-whitespace on your repo.

A project that packages Agda as a Python package.

Setting up GHC, cabal, stack on for Haskell-related CIs

Go get tested! Github Actions matrix generator for your haskell projects' CI

Library for manipulating Haskell source code

Portable interface to file locking

Haskell portable POSIX-compatibility layer

GitHub Issue Tracker Action.

Set up a specific version of Agda for your GitHub Actions workflow.

Cabal and cabal-install

The github API for Haskell

A QuickLook plugin that lets you view plain text files without a file extension

Pure Haskell Tagged DFA Backend for "Text.Regex" (regex-base)

Generic list-like structures [Haskell]

Community contributions to the Grammatical Framework

Set up your GitHub Actions workflow with a specific version of Haskell (GHC and Cabal)

Agda is a dependently typed programming language / interactive theorem prover.

Docker image with Agda and agda-stdlib

Official upstream development repository for Cabal and cabal-install

An emacs mode for MiniAgda