• physics simulation
• robotics

Developer tags

• haskell × 14
• formal verification × 9
• scripting × 9
• signal processing × 9
• unix × 9
• web × 9
• arrows × 8
• ffi × 8
• functional × 8
• generic × 8
• dsl design × 7
• gui × 6
• teaching × 6
• translation × 6
• concurrent × 5
• graphics × 5
• type systems × 5
• embedded × 4
• network × 4
• parallelism × 4
• reactive × 4
• reverse engineering × 4
• bioinformatics × 3
• numerical computation × 3
• parser combinators × 3
• system programming × 3
• agile × 2
• attribute grammar × 2
• forensics × 2
• ghc × 2
• metaprogramming × 2
• natural language × 2
• packaging × 2
• cabal × 1
• categories × 1
• computational geometry × 1
• darcs × 1
• database × 1
• denotational design × 1
• machine learning × 1
• prototyping × 1
• transactional business applications × 1