Pinned Repositories
anki-prompt
Learn stuff at your terminal
diff-check
Reminders to check things generated by git diffs
foo
foo
hermits
Hermit crab similation
idris-elixir
A code-generator for Idris that targets Elixir
idris-graphql
Idris GraphQL
lawvere
A categorical programming language with effects
optical-machines
State machines using optics
smproc
A well-typed symmetric-monoidal category of concurrent processes
uk-portion-of-ICAO
Extract ICAO flight plan
jameshaydon's Repositories
jameshaydon/lawvere
A categorical programming language with effects
jameshaydon/smproc
A well-typed symmetric-monoidal category of concurrent processes
jameshaydon/diff-check
Reminders to check things generated by git diffs
jameshaydon/optical-machines
State machines using optics
jameshaydon/uk-portion-of-ICAO
Extract ICAO flight plan
jameshaydon/anki-prompt
Learn stuff at your terminal
jameshaydon/foo
foo
jameshaydon/hermits
Hermit crab similation
jameshaydon/jameshaydon.github.io
My website
jameshaydon/explain
jameshaydon/authorizer-railway
jameshaydon/dotfiles
dotfiles
jameshaydon/emacs
Emacs config
jameshaydon/formatting
Format strings type-safely with combinators
jameshaydon/futile
Temporary work-site for lawvere-lang successor
jameshaydon/gamesofgo
Many games of Go.
jameshaydon/hello-garnix
jameshaydon/home-manager
jameshaydon/hw-kafka-client
Kafka client for Haskell, including auto-rebalancing consumers
jameshaydon/jameshaydon
James Haydon -- a work in progress
jameshaydon/jijo
Bidirectional JSON serialization
jameshaydon/klister
an implementation of stuck macros
jameshaydon/lawvere-sketches
jameshaydon/nix-home
Nix + HM = <3
jameshaydon/progdefence
jameshaydon/radicle
A peer-to-peer stack for code collaboration
jameshaydon/sixty
Dependent type checker using normalisation by evaluation
jameshaydon/taut
jameshaydon/typx
TypX
jameshaydon/website