Difference between revisions of "Template:Main/Success"
Jump to navigation
Jump to search
(Updated the link to Qualcomm, to satisfy the W3C linkchecker) |
m |
||
| (2 intermediate revisions by the same user not shown) | |||
| Line 38: | Line 38: | ||
|[http://www.qualcomm.com Qualcomm, Inc] |
|[http://www.qualcomm.com Qualcomm, Inc] |
||
|generates Lua bindings to the BREW platform with Haskell |
|generates Lua bindings to the BREW platform with Haskell |
||
| + | |- |
||
| + | |[http://www.ub.ro Bacau St.Univ.] |
||
| + | |uses Haskell for Domain Small Languages building - like [[Rodin]] |
||
|- |
|- |
||
|} |
|} |
||
Latest revision as of 18:46, 29 November 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 |
| Bacau St.Univ. | uses Haskell for Domain Small Languages building - like Rodin |
Find more Haskell success stories at CUFP and the Industry Wiki, or find a consultant.