Difference between revisions of "Template:Main/Success"

From HaskellWiki
Jump to: navigation, search
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/2008/main.html CUFP] and the [[Haskell_in_industry|Industry Wiki]]
+
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