jameshaydon

lawvere

A categorical programming language with effects

idris-elixir

A code-generator for Idris that targets Elixir

smproc

A well-typed symmetric-monoidal category of concurrent processes

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

foo

foo

hermits

Hermit crab similation

explain

jameshaydon.github.io

My website

authorizer-railway

dotfiles

dotfiles

elixir-experiments

Experiments with elixir

emacs

Emacs config

formatting

Format strings type-safely with combinators

futile

Temporary work-site for lawvere-lang successor

gamesofgo

Many games of Go.

hello-garnix

hw-kafka-client

Kafka client for Haskell, including auto-rebalancing consumers

jameshaydon

James Haydon -- a work in progress

jijo

Bidirectional JSON serialization

klister

an implementation of stuck macros

lawvere-sketches

nix-home

Nix + HM = <3

progdefence

radicle

A peer-to-peer stack for code collaboration

sixty

Dependent type checker using normalisation by evaluation

taut

typx

TypX