Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
|
533 |
Agda
|
48 |
Agile software development
|
604 |
Artificial Intelligence
|
250 |
Attribute Grammar
|
108 |
Bioinformatics
|
96 |
Cabal internals
|
50 |
Categorical Programming
|
168 |
Compilers
|
301 |
Computational Geometry
|
95 |
Computer algebra
|
120 |
Concurrent Haskell
|
525 |
Cryptography
|
131 |
Darcs internals
|
18 |
Databases
|
585 |
Denotational design
|
101 |
Digital Forensics
|
31 |
Distributed systems
|
157 |
DSL Design
|
478 |
Foreign Function Interface (FFI)
|
379 |
Formal Verification
|
202 |
Functional graphics programming (2D, 3D, GPU)
|
210 |
Game development
|
97 |
Generic Programming
|
458 |
GHC internals
|
114 |
Graphical User Interfaces
|
340 |
Happstack Web Framework
|
119 |
Hardware Acceleration DSLs
|
69 |
Haskell on embedded devices
|
71 |
High-performance Haskell
|
229 |
Idris
|
60 |
Image processing
|
116 |
Machine Learning
|
314 |
Metaprogamming via Template Haskell
|
228 |
Monadic Parser Combinators
|
556 |
Natural Language Processing (tagging, parsing, translation,...)
|
174 |
Network programming
|
463 |
Numerical Computation
|
231 |
Packaging for Debian
|
94 |
Packaging for Red Hat (RPMs)
|
48 |
Parallelism
|
394 |
Physics & Simulation
|
238 |
Programming language translation
|
330 |
Programming using Arrows
|
260 |
Property based testing (QuickCheck)
|
483 |
Prototyping
|
282 |
Proving observational equivalence between Haskell programs
|
71 |
Purely functional data structures — design and implementation
|
394 |
Quantitative Finance
|
91 |
Reactive programming
|
289 |
Reverse Engineering
|
152 |
Robotics and Automation
|
91 |
Signal Processing
|
161 |
Snap Web Framework
|
143 |
Software packaging/distribution tools
|
207 |
Sound & Audio
|
84 |
Streaming data (conduit/enumerator/pipes)
|
179 |
Systems programming
|
462 |
Teaching Haskell
|
512 |
Transactional business applications development
|
116 |
UNIX Scripting
|
900 |
Video Systems
|
30 |
Web development (HTML, CSS and Javascript)
|
1073 |
Yesod Web Framework
|
428 |