Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
|
544 |
Agda
|
56 |
Agile software development
|
612 |
Artificial Intelligence
|
258 |
Attribute Grammar
|
110 |
Bioinformatics
|
97 |
Cabal internals
|
52 |
Categorical Programming
|
171 |
Compilers
|
317 |
Computational Geometry
|
98 |
Computer algebra
|
125 |
Concurrent Haskell
|
540 |
Cryptography
|
133 |
Darcs internals
|
18 |
Databases
|
599 |
Denotational design
|
106 |
Digital Forensics
|
31 |
Distributed systems
|
167 |
DSL Design
|
488 |
Foreign Function Interface (FFI)
|
388 |
Formal Verification
|
210 |
Functional graphics programming (2D, 3D, GPU)
|
213 |
Game development
|
102 |
Generic Programming
|
467 |
GHC internals
|
115 |
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
|
117 |
Machine Learning
|
323 |
Metaprogamming via Template Haskell
|
235 |
Monadic Parser Combinators
|
572 |
Natural Language Processing (tagging, parsing, translation,...)
|
177 |
Network programming
|
474 |
Numerical Computation
|
232 |
Packaging for Debian
|
95 |
Packaging for Red Hat (RPMs)
|
49 |
Parallelism
|
401 |
Physics & Simulation
|
238 |
Programming language translation
|
336 |
Programming using Arrows
|
264 |
Property based testing (QuickCheck)
|
493 |
Prototyping
|
287 |
Proving observational equivalence between Haskell programs
|
76 |
Purely functional data structures — design and implementation
|
402 |
Quantitative Finance
|
92 |
Reactive programming
|
292 |
Reverse Engineering
|
158 |
Robotics and Automation
|
94 |
Signal Processing
|
165 |
Snap Web Framework
|
144 |
Software packaging/distribution tools
|
209 |
Sound & Audio
|
86 |
Streaming data (conduit/enumerator/pipes)
|
184 |
Systems programming
|
471 |
Teaching Haskell
|
523 |
Transactional business applications development
|
117 |
UNIX Scripting
|
912 |
Video Systems
|
32 |
Web development (HTML, CSS and Javascript)
|
1083 |
Yesod Web Framework
|
432 |