alanz Goto Github PK

htelehash

Haskell implementation of TeleHash

http

Haskell HTTP package

hunit

A unit testing framework for Haskell

ihaskell

A Haskell kernel for IPython.

incremental-play

Playing with incremental parsing and later compiler passes

intents

Simple app for exploring holochain architecture

intero

Next generation GHCi

jenga

Generate a cabal freeze file from a stack.yaml

json-assertions

Test that your (Aeson) JSON encoding matches your expectation

langserver.github.io

language-ecmascript

Haskell library: ECMAScript parser, pretty-printer and additional tools

language-haskell

Highlighting support for the Haskell language in visual studio code.

language-server-protocol

Defines a common protocol for language servers.

learn-you-an-agda

Learn you an Agda (and achieve enlightenment)

librtcm

RTCM client libraries

libsbp

Swift Binary Protocol client libraries

linkpic

What pictures have your friends shared?

liquid-fixpoint

Haskell Interface for Back-End Implication / Horn Clause Constraint Solving for Liquid Types

liquid-types-spacemacs

Spacemacs Layer for LiquidHaskell

liquidhaskell

Liquid Types For Haskell

liquidhaskell-tutorial

Tutorial for LiquidHaskell

locker

Locker - the "me" platform

log-filter

Select log lines for further processing

lounge

Simple blog application using Haskell and CouchDB

lsp-haskell

lsp-mode

Emacs Lisp library for implementing Language Server Protocol clients.

lsp-test

A functional test framework for LSP servers

lsp-ui

machines

Networks of composable stream transducers

machines-play

Playing with https://github.com/ekmett/machines