Difference between revisions of "Template:Main/Success"
Jump to navigation
Jump to search
CaleGibbard (talk | contribs) |
DonStewart (talk | contribs) |
||
Line 11: | Line 11: | ||
;[http://antiope.com/ Antiope] |
;[http://antiope.com/ Antiope] |
||
:uses Haskell for simulation and verification of wireless systems |
:uses Haskell for simulation and verification of wireless systems |
||
+ | ;[http://www.abnamro.com/ ABN AMRO] |
||
+ | :built interactive tools for quantitative analysts in Haskell |
||
+ | ;[http://galois.com Galois, Inc] |
||
+ | :uses Haskell to build high assurance systems |
||
− | More Haskell success stories at [http://cufp.galois.com/ |
+ | More Haskell success stories at [http://cufp.galois.com/ CUFP] and the [[Haskell_in_industry|Industry Wiki]] |
Revision as of 04:51, 11 August 2008
Who's using Haskell?
- Amgen
- uses Haskell to rapidly build software based on mathematical models
- 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
More Haskell success stories at CUFP and the Industry Wiki