Aaron Allen

breakpoint. Set breakpoints using a GHC plugin

Typson. Type safe JSON PostgreSQL queries using bidirectional serializers

graph-trace. Trace the call graph of a Haskell program

auto-split. GHC plugin for automatic case splitting

inventory. Haskell project statistics and definition analysis

opentelemetry-auto. Open telemetry auto instrumentation using GHC plugin

hi-fi. Higher kinded records plugin

donuts. A GHC plugin for loops and mutability

jq-bindings. Haskell bindings to libjq using linear types.

hydraulics. Lift any pure function over any applicative stack.

optician. Generate optics with a GHC plugin

decoy. Highly configurable mock server

erriscope. Scope out Haskell errors in style

reflex-retro. A web app for conducting team retrospectives

pinned-warnings. Preserve warnings in a GHCi session

reflectacon. Plugin for working with promoted data constructors

aoc2024. Agda

aoc2021. Haskell solutions to Advent of Code 2021

ear-trainer. Advanced intervallic ear training

monoidal-plugins. Monoidal interface for GHC plugins

auto-import. Automatically add import statements

lean-cat. Lean

math-caddy. Mathematics knowledge base web app

servant-reachable. Type errors for problematic routers

MenuBlock. Magento 2 module for inserting cms blocks and static links into the top menu

auto-extract. Extract code blocks as top level functions

constable. Safe interface for summarization via Const

tindeq-overtones. playing with a bluetooth dynamometer

aoc2022. Rust

sum-totality. Totality checking for sum type producers in Haskell

typed-counterpoint. If your composition doesn't follow the counterpoint rules, the compiler rejects it!

kancepts. kan extension exploration

generic-uncurry. Provides an n-arity uncurry function using generics

aoc2020. Advent of Code 2020 Solutions

record-subsets. Turn a regular haskell record type into subsets of it's fields using some type level programming

magento2. My ongoing magento 2 projects

RandomBlock. Magento 2 module that declares the "random block" widget.