Difference between revisions of "Template:Main/Success"
Jump to navigation
Jump to search
(Added Bluespec) |
(added qualcomm) |
||
Line 35: | Line 35: | ||
|[http://bluespec.com Bluespec, Inc] |
|[http://bluespec.com Bluespec, Inc] |
||
|uses Haskell to implement a high-level hardware description language (and supporting tools) |
|uses Haskell to implement a high-level hardware description language (and supporting tools) |
||
+ | |- |
||
+ | |[http://qualcomm.com Qualcomm, Inc] |
||
+ | |uses Haskell to generate Lua bindings to the BREW platform |
||
|- |
|- |
||
|} |
|} |
Revision as of 23:50, 20 August 2008
Who's using Haskell?
Credit Suisse | builds quantitative modelling systems in Haskell |
Amgen | uses Haskell to rapidly build biotech modelling software |
Peerium, Inc | builds reliable peer-to-peer applications in Haskell |
Microsoft Research | has ongoing research investments in Haskell |
Eaton Corporation | uses Haskell to control hybrid vehicles |
Deutsche Bank | employs Haskell for trading software |
Antiope | uses Haskell for simulation and verification of wireless systems |
ABN AMRO | built interactive tools for quantitative analysts in Haskell |
Galois, Inc | uses Haskell to build high assurance systems |
Bluespec, Inc | uses Haskell to implement a high-level hardware description language (and supporting tools) |
Qualcomm, Inc | uses Haskell to generate Lua bindings to the BREW platform |
Find more Haskell success stories at CUFP and the Industry Wiki