About Me

Skills

• Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
• Agile software development
• Concurrent Haskell
• DSL Design
• Databases
• Generic Programming
• Graphical User Interfaces
• Monadic Parser Combinators
• Network programming
• Packaging for Debian
• Packaging for Red Hat (RPMs)
• Parallelism
• Property based testing (QuickCheck)
• Prototyping
• Purely functional data structures — design and implementation
• Snap Web Framework
• Software packaging/distribution tools
• Streaming data (conduit/enumerator/pipes)
• Systems programming
• Transactional business applications development
• UNIX Scripting
• Web development (HTML, CSS and Javascript)
• Yesod Web Framework

Packages

• network-simple
• network-simple-tls
• pipes-aeson
• pipes-attoparsec
• pipes-binary
• pipes-network
• pipes-network-tls
• pipes-zlib