wz1000 Goto Github PK

actions

Github actions for Haskell CI

binaryspacepartition

XMonad Layout

blog

brittany

haskell source code formatter

bytestring

An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.

cabal

Official upstream development repository for Cabal and cabal-install

cabal-bug

cabal-helper

Simple interface to some of Cabal's configuration state, used by ghc-mod. CI: https://gitlab.com/dxld/cabal-helper/pipelines

cabal-helper-helper

coda-change

Tracking changes across text edits. Isolates coda-change from ekmett/coda.

conduit-parse

Parsing framework based on conduit.

constraint-to-coq

Discharges haskell constraints and turns them into Coq theorems

dependent-map

Dependently-typed finite maps (partial dependent products)

dependent-sum

Dependent sums and supporting typeclasses for comparing and displaying them

directory

Platform-independent library for basic file system operations

dotfiles

My dotfiles

ghc

Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list ([email protected]). First time contributors are encouraged to get started by just sending a Pull Request.

ghc-api-compat

ghc-check

utility to detect mismatches of ghc api versions

ghc-exactprint

GHC version of haskell-src-exts exactPrint

ghc-mod

Happy Haskell programming on Emacs/Vim

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

ghcide

A library for building Haskell IDE tooling

ghcup-hs

ghcup-metadata

GHCup metadata repository

gravsim

Gravity Simulator written in Haskell using gloss

haddock

Haskell Documentation Tool

hare

The Haskell Refactoring Tool

haskeline

A Haskell library for line input in command-line programs.

haskell-ide-engine

The engine for haskell ide-integration. Not an IDE