Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
|
530 |
Agda
|
47 |
Agile software development
|
603 |
Artificial Intelligence
|
248 |
Attribute Grammar
|
108 |
Bioinformatics
|
94 |
Cabal internals
|
50 |
Categorical Programming
|
167 |
Compilers
|
300 |
Computational Geometry
|
95 |
Computer algebra
|
120 |
Concurrent Haskell
|
524 |
Cryptography
|
131 |
Darcs internals
|
18 |
Databases
|
583 |
Denotational design
|
101 |
Digital Forensics
|
31 |
Distributed systems
|
156 |
DSL Design
|
476 |
Foreign Function Interface (FFI)
|
376 |
Formal Verification
|
200 |
Functional graphics programming (2D, 3D, GPU)
|
209 |
Game development
|
96 |
Generic Programming
|
455 |
GHC internals
|
114 |
Graphical User Interfaces
|
339 |
Happstack Web Framework
|
119 |
Hardware Acceleration DSLs
|
68 |
Haskell on embedded devices
|
70 |
High-performance Haskell
|
229 |
Idris
|
59 |
Image processing
|
117 |
Machine Learning
|
311 |
Metaprogamming via Template Haskell
|
225 |
Monadic Parser Combinators
|
555 |
Natural Language Processing (tagging, parsing, translation,...)
|
174 |
Network programming
|
462 |
Numerical Computation
|
231 |
Packaging for Debian
|
92 |
Packaging for Red Hat (RPMs)
|
49 |
Parallelism
|
390 |
Physics & Simulation
|
239 |
Programming language translation
|
330 |
Programming using Arrows
|
260 |
Property based testing (QuickCheck)
|
482 |
Prototyping
|
282 |
Proving observational equivalence between Haskell programs
|
71 |
Purely functional data structures — design and implementation
|
393 |
Quantitative Finance
|
91 |
Reactive programming
|
289 |
Reverse Engineering
|
150 |
Robotics and Automation
|
91 |
Signal Processing
|
161 |
Snap Web Framework
|
143 |
Software packaging/distribution tools
|
206 |
Sound & Audio
|
84 |
Streaming data (conduit/enumerator/pipes)
|
179 |
Systems programming
|
462 |
Teaching Haskell
|
508 |
Transactional business applications development
|
115 |
UNIX Scripting
|
899 |
Video Systems
|
30 |
Web development (HTML, CSS and Javascript)
|
1071 |
Yesod Web Framework
|
430 |