phile314

tasty-silver

A fancy test runner for tasty and support for golden tests.

pinch-gen

agda

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

agda-build

agda-prelude

Programming library for Agda

django-foundation-form

Reusable Django app for display zurb foundation forms

easy-random

The simple, stupid random Java beans/records generator

ekg

Remote monitoring of running processes over HTTP

fprod-stm-bank

Modul Fprod - STM Bank in Haskell

grin

GRIN is a compiler back-end for lazy functional languages with whole program optimisation support

hail

A service for pull-based continuous deployment based on hydra.

haskell.nix

Alternative Haskell Infrastructure for Nixpkgs

hercules

Continuous Integration for Nix projects

hs-connection

simple client connection library in haskell with builtin features: SSL/TLS, SOCKS, session management.

hw-kafka-client

Kafka client for Haskell, including auto-rebalancing consumers

hydra

Hydra, the Nix-based continuous build system

language-thrift

Haskell parser for the Thrift IDL format.

librdkafka

The Apache Kafka C/C++ library

morph

NixOS deployment tool

nix

Nix, the purely functional package manager

nixpkgs

Nix Packages collection

opaleye-gen

A lightweight program to generate Opaleye boilerplate from a database

pi-ci

pinch

A serialization library for Haskell that provides support for Apache Thrift.

poetry2nix

Convert poetry projects to nix automagically [maintainer=@adisbladis]

slimserver

Server for Logitech Squeezebox players. This server is also called Logitech Media Server

stackage

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

thrift

Apache Thrift

token-bucket

Haskell rate limiter library using lazy token bucket algorithm

zip-stream

Streaming Zip library for scalaz-stream.