A comprehensive Google Services SDK for Haskell.

A type-level, statically-verified Haskell embedded domain specific language (EDSL) for writing guitar tablature.

Interactive ASCII art diagram generators. 🌟

rffmpeg: remote SSH FFmpeg wrapper tool

Browse media content with your own rules on Android TV

A git-worktree(1) manager

Real Time communication library using Animated Gifs as a transport™

A 21st century LaTeX wrapper

Turnstyle is a graphical esoteric programming language based on lambda calculus

👑 Format Haskell package descriptions.

An extension for PostgreSQL that allows embedded Haskell code.

Pure untyped lambda calculus in safe Rust.

makeWrapper and wrapProgram freed from Nix build system

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

Creusot helps you prove your code is correct in an automated fashion.

An easy-to-use, zero-downtime schema migration tool for Postgres

Typed paths that are composable

git commit --fixup, but automatic

📶 A Sentry SDK for Haskell

Easily build a Haskell project from a stack.yaml.lock file with Nix

An esoteric programming language, using box-drawing characters

Procedural macro to easily write higher-order strategies in proptest.

Fixture-based test framework for Rust

A package index for the Haskell ecosystem

Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.

Derive hierarchical exception instances for your datatypes

Algebraic effects for Rust

Run docker-compose with help from Nix/NixOS

Typed, schema-based, composable Redis library for Haskell

Hey! Hey! Can u rel8?