- Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
- Agile software development
- Artificial Intelligence
- Attribute Grammar
- Bioinformatics
- Cabal internals
- Categorical Programming
- Compilers
- Computational Geometry
- Computer algebra
- Concurrent Haskell
- Cryptography
- Darcs internals
- Databases
- Denotational design
- Digital Forensics
- DSL Design
- Foreign Function Interface (FFI)
- Formal Verification
- Functional graphics programming (2D, 3D, GPU)
- Generic Programming
- GHC internals
- Graphical User Interfaces
- Happstack Web Framework
- Hardware Acceleration DSLs
- Haskell on embedded devices
- High-performance Haskell
- Image processing
- Machine Learning
- Metaprogamming via Template Haskell
- Monadic Parser Combinators
- Natural Language Processing (tagging, parsing, translation,...)
- Network programming
- Numerical Computation
- Packaging for Debian
- Packaging for Red Hat (RPMs)
- Parallelism
- Physics & Simulation
- Programming language translation
- Programming using Arrows
- Property based testing (QuickCheck)
- Prototyping
- Proving observational equivalence between Haskell programs
- Purely functional data structures — design and implementation
- Quantitative Finance
- Reactive programming
- Reverse Engineering
- Robotics and Automation
- Signal Processing
- Snap Web Framework
- Software packaging/distribution tools
- Sound & Audio
- Streaming data (conduit/enumerator/pipes)
- Systems programming
- Teaching Haskell
- Transactional business applications development
- UNIX Scripting
- Video Systems
- Web development (HTML, CSS and Javascript)
- Yesod Web Framework
Created
November 9, 2013 03:42
-
-
Save jonschoning/7381290 to your computer and use it in GitHub Desktop.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment