Difference between revisions of "Template:Main/Success"
Jump to navigation
Jump to search
(added qualcomm) |
DonStewart (talk | contribs) |
||
| Line 34: | Line 34: | ||
|- |
|- |
||
|[http://bluespec.com Bluespec, Inc] |
|[http://bluespec.com Bluespec, Inc] |
||
| − | |uses Haskell to implement a high-level hardware description language |
+ | |uses Haskell to implement a high-level hardware description language |
|- |
|- |
||
|[http://qualcomm.com Qualcomm, Inc] |
|[http://qualcomm.com Qualcomm, Inc] |
||
| − | | |
+ | |generates Lua bindings to the BREW platform with Haskell |
|- |
|- |
||
|} |
|} |
||
Revision as of 22:47, 1 September 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 |
| Qualcomm, Inc | generates Lua bindings to the BREW platform with Haskell |
Find more Haskell success stories at CUFP and the Industry Wiki