gabby

post-rfc. Blog post previews in need of peer review

haskell-nix. Nix and Haskell in production

turtle. Shell programming, Haskell style

bench. Command-line benchmark tool

simple-twitter. A bare-bones Twitter clone implemented in a single file

nixos-in-production. Source files for the book "NixOS in Production"

grace. A prompt engineering functional programming language

pipes. Compositional pipelines

nix-diff. Explain why two Nix derivations differ

Haskell-Morte-Library. A bare-bones calculus-of-constructions

slides. Slides from talks that I give

optparse-generic. Auto-generate a command-line parser for your datatype

Haskell-Typed-Spreadsheet-Library. Typed and composable spreadsheets

foldl. Composable, streaming, and efficient left folds

terraform-nixos-ng. Terraform modules for NixOS and spiritual successor to the terraform-nixos project

Haskell-Annah-Library. Distributed programming language that desugars to Morte

Haskell-Lens-Tutorial-Library. The missing tutorial module for the lens library

holepunch. NixOS configuration for tunneling an inbound SSH connection over an outbound HTTPS connection

macos-builder. Bootstrap a Linux build VM on macOS

haskell-in-the-large. A book about large-scale design in Haskell

Haskell-Errors-Library. Type-safe error handling

Haskell-MVC-Library. Model-view-controller

HasCal. Haskell embedding of PlusCal

list-transformer. List monad transformer

Haskell-MMorph-Library. Monad morphisms

managed. A monad for managed values

nixfmt. Automatic code formatter for the Nix programming language

dhall-manual. The Dhall Configuration Language Manual

pipes-concurrency. Concurrency for the pipes ecosystem

Purescript-to-Python. A compiler from Purescript to Python

Haskell-Nix-Derivation-Library. Parse and render *.drv files

suns-search. Fast all-atom protein structural search engine

haskell-flake. Flake template for Haskell repository

dhall-dot. Dhall support for the DOT language for graphviz

servant-crud. Example CRUD web server+client using Servant

Haskell-Total-Library. Exhaustive pattern matching using lenses, traversals, and prisms

Haskell-Server-Generic-Library. Auto-generate a server for your datatype

Haskell-Pipes-Parse-Library. Parsing for the pipes ecosystem

Haskell-Pipes-Safe-Library. Safety for the pipes ecosystem

Haskell-Bears-Library. Relational algebra

Haskell-Succinct-Vector-Library. Succinct vectors

spire. Algorithmically solve Slay the Spire

graph. Dhall support for directed graphs with labeled vertices

Haskell-Optional-Args-Library. Optional function arguments

defaultable-map. Applicative maps

dhall-semver. Dhall support for semantic version numbers

political-notes. Markdown