gabby

Semantic project navigation

A prompt engineering functional programming language

A Haskell library for parsing and rendering email and MIME headers

No description provided.

Command-line benchmark tool

Nix and Haskell in production

Explain why two Nix derivations differ

Blog post previews in need of peer review

Shell programming, Haskell style

Source files for the book "NixOS in Production"

The missing tutorial module for the lens library

Compositional pipelines

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

A bare-bones Twitter clone implemented in a single file

Auto-generate a command-line parser for your datatype

A GitHub Action that comments on the pull requests with a summary of changes classified according to your config.

Typed and composable spreadsheets

Bootstrap a Linux build VM on macOS

A bare-bones calculus-of-constructions

Monad morphisms

Composable, streaming, and efficient left folds

Fast all-atom protein structural search engine

Haskell bindings to OpenAI

Notion to Markdown exporter

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

A monad for managed values

Organisational documentation

Event sourcing library

Distributed programming language that desugars to Morte

Slides from talks that I give