Liquid Types For Haskell

The Scala Documentation website

A small package that demonstrates how to use LiquidHaskell as a GHC plugin

A Haskell test framework

Source code of summer.haskell.org

Yet another ORM for haskell

Generic types and functions for encoding and decoding columns

Implementation of a Consensus Layer for the Ouroboros family of protocols

Java parser and printer for haskell

Tutorial for LiquidHaskell

Fork of QuickJS Javascript Engine used in NEAR JS SDK

Source for the TechEmpower Framework Benchmarks project

Client package that shows how to import LH specifications from an external package

Horn Clause Constraint Solving for Liquid Types

Experimental tool to build reports on GHC build time for your projects.

The Z3 Theorem Prover

Typed eDSL for writing UPLC /ˈpluː.tɑːk/

Official upstream development repository for Cabal and cabal-install

Verification of SGD

Drop-in replacement for the base library, to use with Liquid Haskell

A library for rewriting

"Stable Hackage," tools for creating a vetted set of packages from Hackage.

Gazelle is a Bazel build file generator for Bazel projects. It natively supports Go and protobuf, and it may be extended to support new languages and custom rule sets.

Standard Haskell list splitting library.

A generic C API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.

Fast binary serialization in Haskell