facundominguez

stitch-lh

bazel-gazelle

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.

cabal

Official upstream development repository for Cabal and cabal-install

colonnade

Generic types and functions for encoding and decoding columns

FrameworkBenchmarks

Source for the TechEmpower Framework Benchmarks project

ghc-timings-report

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

haskell-nix-config-test

A configuration test for haskell.nix

int-cast

Checked conversions between integral types

language-java

Java parser and printer for haskell

lh-plugin-demo

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

lh-plugin-demo-client

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

liquid-base

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

liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types

liquidhaskell

Liquid Types For Haskell

liquidhaskell-tutorial

Tutorial for LiquidHaskell

liquidmeta

orville

Yet another ORM for haskell

ouroboros-consensus

Implementation of a Consensus Layer for the Ouroboros family of protocols

plutarch-plutus

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

quickjs

Fork of QuickJS Javascript Engine used in NEAR JS SDK

rest

A library for rewriting

safe-coupling

Verification of SGD

smt-switch

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

split

Standard Haskell list splitting library.

stackage

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

store

Fast binary serialization in Haskell

summer-of-haskell

Source code of summer.haskell.org

tasty

A Haskell test framework

tasty-discover

z3

The Z3 Theorem Prover