zliu41 Goto Github PK

agda

Agda is a dependently typed programming language / interactive theorem prover.

aiken

Cardano Smart Contracts

apply-refact

Refactor Haskell source files

camus

LinkedIn's Kafka to HDFS pipeline.

cardano-ledger

The ledger implementation and specifications of the Cardano blockchain.

cardano-node

The core component that is used to participate in a Cardano decentralised blockchain.

cats

Lightweight, modular, and extensible library for functional programming.

cips

concat

Compiling to Categories

connections

A library for numerical conversions using Galois connections

containers

Assorted concrete container types

contextual

Contextual

developer-portal

The Cardano Developer Portal

dhall-haskell

A configuration language guaranteed to terminate

docker-airflow

Docker Apache Airflow

dsl

Source code for https://free.cofree.io/2020/02/29/dsl/

duckling

Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.

extra

Extra Haskell functions

fficxx

Haskell-C++ Foreign Function Interface Generator

flagrecompile

https://gitlab.haskell.org/ghc/ghc/-/issues/21543

ghc-exactprint

GHC version of haskell-src-exts exactPrint

ghcide

A library for building Haskell IDE tooling

gobblin

hadoop-streaming

A simple Hadoop streaming library based on conduit.

haskell-hedgehog

Release with confidence, state-of-the-art property testing for Haskell.

hlint

Haskell source code suggestions

hs-acm-icpc

Haskell solutions to ACM-ICPC problems

indexed-containers

math-extras

min-max-pqueue

Min-max priority queue, also known as double-ended priority queue.