Haskell

I contribute mostly to Haskell tooling (and even then, mostly to Cabal):

Cabal

• cabal I've made many cabal contributions.

As I'm posting this, on 2024-12-09, I'm the most active Cabal contributor over the
past 12 months behind the mergify bot:

Other Haskell Tools

• stack I've collected a list of stack contributions.
• rules_haskell I helped document how to build Haskell fast with Google Bazel and rules_haskell.
• pier I added test-suite running to this experimental way of building Haskell projects.
• snack An incremental build tool for Haskell projects.

My Haskell Tools

• updo A tool for generating, upgrading and maintaining projects and their dependencies.
• hpack-dhall A tool for generating .cabal files, package description files.

UoM Compiler Plugins

F# has units of measure (UoM) built in. They're typed checked and erased. I've contributed to type checker plugins that help GHC, the Haskell compiler, with units of measure.

• units-parser
• uom-plugin
• the-thoralf-plugin
• plugins-for-blobs

1 blob is equal to 1 lbf⋅s2/in, or 12 slugs.

The plugins-for-blobs project is a monorepo with various GHC compiler plugins for UoM. It is my attempt to refactor the thoralf-plugin and the uom-plugin so that they share something in common and so that the former reaches parity with the later in units of measure.

Free Flying

I've been a competition pilot, racing other hang glider pilots around unseen turnpoints in the sky. It's a wild ride. With data points coming in every second for upwards of a hundred pilots and geometry on a sphere or ellipsoid, scoring is a complex task. FAI-CIVL govern the sport. They make the rules and provide FS, the official program for scoring. The paragliding world cup has its own set of rules but these are very close to those of FAI-CIVL. They use another program for scoring, CompCheck. Both FS and CompCheck are closed source. Many of those involved with FS want to make it open source but this has not happened yet. I help maintain FS and started flare-timing and CIVL-GAP.

• flare-timing
  A reference implementation of the rules as a suite of command line apps, one for each step in the process of scoring.
• CIVL-GAP
  An upstream version of rules marked up in LaTeX with questions, corrections, clarifying appendices and suggested changes.