About Me

Skills

• Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
• Agile software development
• Attribute Grammar
• Compilers
• Concurrent Haskell
• DSL Design
• Databases
• Graphical User Interfaces
• Metaprogamming via Template Haskell
• Property based testing (QuickCheck)
• Purely functional data structures — design and implementation
• Reactive programming
• Software packaging/distribution tools
• Teaching Haskell
• Web development (HTML, CSS and Javascript)

Packages

• compendium-client
• language-avro
• mu-avro
• mu-graphql
• mu-grpc-client
• mu-grpc-common
• mu-grpc-server
• mu-kafka
• mu-lens
• mu-optics
• mu-persistent
• mu-prc
• mu-prometheus
• mu-protobuf
• mu-schema
• mu-servant-server
• mu-tracing