About Me

Skills

• Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
• Agda
• Agile software development
• Categorical Programming
• Compilers
• Computational Geometry
• Computer algebra
• Concurrent Haskell
• Cryptography
• DSL Design
• Denotational design
• Distributed systems
• Foreign Function Interface (FFI)
• Generic Programming
• High-performance Haskell
• Idris
• Monadic Parser Combinators
• Programming using Arrows
• Prototyping
• Proving observational equivalence between Haskell programs
• Purely functional data structures — design and implementation
• Snap Web Framework
• Software packaging/distribution tools
• Streaming data (conduit/enumerator/pipes)
• Systems programming
• Teaching Haskell
• UNIX Scripting

Packages

• base16
• base16-bytestring
• base16-lens
• base32
• base32-lens
• base64
• base64-bytestring
• base64-lens
• lens
• lens-process
• microlens-process
• nonempty-containers
• nonempty-vector
• smash
• smash-aeson
• smash-lens
• smash-microlens
• strict-tuple
• strict-tuple-lens
• unordered-containers