wz1000

hie-lsp

Lightweight language server powered by .hie files

cabal-helper-helper

HMat

Statically Typed Linear Algebra Library

coda-change

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

constraint-to-coq

Discharges haskell constraints and turns them into Coq theorems

blog

brittany

haskell source code formatter

cabal-helper

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

dependent-map

Dependently-typed finite maps (partial dependent products)

dependent-sum

Dependent sums and supporting typeclasses for comparing and displaying them

ghc-api-compat

ghc-mod

Happy Haskell programming on Emacs/Vim

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

HaRe

The Haskell Refactoring Tool

haskell-ide-engine

The engine for haskell ide-integration. Not an IDE

hie-lsif

hiw-hie

hoogle

Haskell API search engine

hs-to-coq

Convert Haskell source code to Coq source code

kak-lsp

Kakoune Language Server Protocol Client

kakoune-extra

Extra scripts that implement experimental features, highlight custom files/languages

lsif-util

Utility tools for LSIF development

model-checking-20

polybar

A fast and easy-to-use status bar

recomp

reflex-basic-host

A basic reflex host for backend work

shake

Shake build system

some

Existential type.

the-thoralf-plugin

This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.

til

:memo: Today I Learned