Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
|
547 |
Agda
|
58 |
Agile software development
|
614 |
Artificial Intelligence
|
260 |
Attribute Grammar
|
110 |
Bioinformatics
|
99 |
Cabal internals
|
53 |
Categorical Programming
|
171 |
Compilers
|
319 |
Computational Geometry
|
98 |
Computer algebra
|
126 |
Concurrent Haskell
|
540 |
Cryptography
|
133 |
Darcs internals
|
19 |
Databases
|
600 |
Denotational design
|
106 |
Digital Forensics
|
31 |
Distributed systems
|
169 |
DSL Design
|
490 |
Foreign Function Interface (FFI)
|
391 |
Formal Verification
|
211 |
Functional graphics programming (2D, 3D, GPU)
|
214 |
Game development
|
102 |
Generic Programming
|
469 |
GHC internals
|
117 |
Graphical User Interfaces
|
347 |
Happstack Web Framework
|
119 |
Hardware Acceleration DSLs
|
69 |
Haskell on embedded devices
|
74 |
High-performance Haskell
|
229 |
Idris
|
59 |
Image processing
|
118 |
Machine Learning
|
324 |
Metaprogamming via Template Haskell
|
235 |
Monadic Parser Combinators
|
573 |
Natural Language Processing (tagging, parsing, translation,...)
|
178 |
Network programming
|
476 |
Numerical Computation
|
234 |
Packaging for Debian
|
96 |
Packaging for Red Hat (RPMs)
|
48 |
Parallelism
|
401 |
Physics & Simulation
|
239 |
Programming language translation
|
336 |
Programming using Arrows
|
265 |
Property based testing (QuickCheck)
|
494 |
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
|
209 |
Sound & Audio
|
86 |
Streaming data (conduit/enumerator/pipes)
|
183 |
Systems programming
|
474 |
Teaching Haskell
|
525 |
Transactional business applications development
|
116 |
UNIX Scripting
|
914 |
Video Systems
|
33 |
Web development (HTML, CSS and Javascript)
|
1085 |
Yesod Web Framework
|
433 |