About Me

Skills

• Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
• Agda
• Agile software development
• Attribute Grammar
• Categorical Programming
• Compilers
• Concurrent Haskell
• DSL Design
• Darcs internals
• Denotational design
• Distributed systems
• Foreign Function Interface (FFI)
• Formal Verification
• GHC internals
• Game development
• Generic Programming
• Happstack Web Framework
• Hardware Acceleration DSLs
• High-performance Haskell
• Idris
• Monadic Parser Combinators
• Network programming
• Parallelism
• Programming language translation
• Programming using Arrows
• Property based testing (QuickCheck)
• Prototyping
• Proving observational equivalence between Haskell programs
• Purely functional data structures — design and implementation
• Systems programming
• Teaching Haskell
• UNIX Scripting
• Web development (HTML, CSS and Javascript)
• Yesod Web Framework

Packages

• composition-tree
• dixi
• generators
• latex-formulae-hakyll
• latex-formulae-image
• latex-formulae-pandoc
• patches-vector
• SFont
• Sprig
• TeaHS
• wizards