Become a sponsor to Phil de Joux
Flying High Score
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.
Packages from flare-timing released on hackage.
I also contribute to projects that I use or want to succeed. Two of note are:
- blockscope/hpack-dhall I started contributing and ended up owner and maintainer of this way to setup Haskell projects.
- adamgundry/uom-plugin A compiler plugin for units of measure.
Featured work
-
adamgundry/uom-plugin
Units of measure as a GHC typechecker plugin
Haskell 30 -
BlockScope/ghc-plugs-out
Type checker plugins without the type checking.
Haskell 2 -
cabalism/hpack-dhall
Use hpack's phrasing in dhall to write cabal files
Dhall 31 -
bgamari/the-thoralf-plugin
This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.
Haskell 22 -
azardilis/Chromar
Implementation of Chromar in Haskell
Haskell 1