• formal verification
• system programming
• concurrent

Developer tags

• haskell × 14
• web × 12
• ffi × 10
• network × 10
• parallelism × 10
• scripting × 10
• unix × 10
• type systems × 9
• dsl design × 8
• parser combinators × 8
• teaching × 8
• agile × 7
• arrows × 6
• gui × 6
• metaprogramming × 6
• translation × 6
• database × 5
• generic × 5
• packaging × 5
• functional × 4
• reactive × 4
• reverse engineering × 4
• signal processing × 4
• categories × 3
• denotational design × 3
• embedded × 3
• graphics × 3
• numerical computation × 3
• transactional business applications × 3
• forensics × 2
• physics simulation × 2
• attribute grammar × 1
• computational geometry × 1
• ghc × 1
• prototyping × 1
• robotics × 1