wz1000

hie-lsp

Lightweight language server powered by .hie files

cabal-helper-helper

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

ghcide

A library for building Haskell IDE tooling

blog

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

HaRe

The Haskell Refactoring Tool

haskell-ide-engine

The engine for haskell ide-integration. Not an IDE

hasktorch

Tensors and neural networks in Haskell

hie-lsif

hiw-hie

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

lsp-test

A functional test framework for LSP servers

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.

synquid

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