Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
|
549 |
Agda
|
58 |
Agile software development
|
617 |
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
|
603 |
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
|
104 |
Generic Programming
|
470 |
GHC internals
|
117 |
Graphical User Interfaces
|
348 |
Happstack Web Framework
|
119 |
Hardware Acceleration DSLs
|
69 |
Haskell on embedded devices
|
75 |
High-performance Haskell
|
229 |
Idris
|
58 |
Image processing
|
119 |
Machine Learning
|
325 |
Metaprogamming via Template Haskell
|
235 |
Monadic Parser Combinators
|
574 |
Natural Language Processing (tagging, parsing, translation,...)
|
178 |
Network programming
|
476 |
Numerical Computation
|
235 |
Packaging for Debian
|
96 |
Packaging for Red Hat (RPMs)
|
48 |
Parallelism
|
402 |
Physics & Simulation
|
242 |
Programming language translation
|
336 |
Programming using Arrows
|
267 |
Property based testing (QuickCheck)
|
496 |
Prototyping
|
287 |
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
|
96 |
Signal Processing
|
167 |
Snap Web Framework
|
144 |
Software packaging/distribution tools
|
210 |
Sound & Audio
|
86 |
Streaming data (conduit/enumerator/pipes)
|
183 |
Systems programming
|
476 |
Teaching Haskell
|
527 |
Transactional business applications development
|
116 |
UNIX Scripting
|
915 |
Video Systems
|
33 |
Web development (HTML, CSS and Javascript)
|
1088 |
Yesod Web Framework
|
437 |