| Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
|
549 |
| Agda
|
58 |
| Agile software development
|
616 |
| Artificial Intelligence
|
261 |
| Attribute Grammar
|
110 |
| Bioinformatics
|
99 |
| Cabal internals
|
54 |
| Categorical Programming
|
171 |
| Compilers
|
319 |
| Computational Geometry
|
98 |
| Computer algebra
|
126 |
| Concurrent Haskell
|
542 |
| Cryptography
|
133 |
| Darcs internals
|
19 |
| Databases
|
602 |
| Denotational design
|
106 |
| Digital Forensics
|
31 |
| Distributed systems
|
169 |
| DSL Design
|
491 |
| Foreign Function Interface (FFI)
|
391 |
| Formal Verification
|
211 |
| Functional graphics programming (2D, 3D, GPU)
|
214 |
| Game development
|
103 |
| Generic Programming
|
469 |
| GHC internals
|
117 |
| Graphical User Interfaces
|
348 |
| Happstack Web Framework
|
119 |
| Hardware Acceleration DSLs
|
69 |
| Haskell on embedded devices
|
74 |
| High-performance Haskell
|
229 |
| Idris
|
58 |
| Image processing
|
118 |
| Machine Learning
|
325 |
| Metaprogamming via Template Haskell
|
235 |
| Monadic Parser Combinators
|
574 |
| Natural Language Processing (tagging, parsing, translation,...)
|
178 |
| Network programming
|
476 |
| Numerical Computation
|
234 |
| Packaging for Debian
|
96 |
| Packaging for Red Hat (RPMs)
|
48 |
| Parallelism
|
402 |
| Physics & Simulation
|
241 |
| Programming language translation
|
336 |
| Programming using Arrows
|
267 |
| Property based testing (QuickCheck)
|
496 |
| Prototyping
|
286 |
| Proving observational equivalence between Haskell programs
|
76 |
| Purely functional data structures — design and implementation
|
403 |
| Quantitative Finance
|
93 |
| Reactive programming
|
294 |
| Reverse Engineering
|
159 |
| Robotics and Automation
|
95 |
| Signal Processing
|
166 |
| Snap Web Framework
|
144 |
| Software packaging/distribution tools
|
210 |
| Sound & Audio
|
86 |
| Streaming data (conduit/enumerator/pipes)
|
183 |
| Systems programming
|
475 |
| Teaching Haskell
|
527 |
| Transactional business applications development
|
116 |
| UNIX Scripting
|
914 |
| Video Systems
|
33 |
| Web development (HTML, CSS and Javascript)
|
1087 |
| Yesod Web Framework
|
436 |
