James Haydon's repositories
idris-elixir
A code-generator for Idris that targets Elixir
diff-check
Reminders to check things generated by git diffs
optical-machines
State machines using optics
uk-portion-of-ICAO
Extract ICAO flight plan
anki-prompt
Learn stuff at your terminal
jameshaydon.github.io
My website
elixir-experiments
Experiments with elixir
formatting
Format strings type-safely with combinators
hw-kafka-client
Kafka client for Haskell, including auto-rebalancing consumers
jameshaydon
James Haydon -- a work in progress