Personal tools

Template:Main/Success

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
m
 
(16 intermediate revisions by 6 users not shown)
Line 1: Line 1:
 
'''Who's using Haskell?'''
 
'''Who's using Haskell?'''
  
;[http://www.credit-suisse.com Credit Suisse]
+
<center>
:uses Haskell for quantitative modeling systems
+
{|  border="0" cellspacing="0" cellpadding="2"
;[http://www.amgen.com/ Amgen]
+
!
:uses Haskell to rapidly build biotech modelling software
+
!
;[http://www.microsoft.com/ Microsoft Research]
+
|-
:has ongoing research investments in Haskell
+
|[http://www.credit-suisse.com Credit Suisse]
;[http://www.eaton.com/ Eaton Corporation]
+
|builds quantitative modelling systems in Haskell
:uses Haskell to control hybrid vehicles
+
|-
;[http://www.db.com/ Deutsche Bank]
+
|[http://www.amgen.com/ Amgen]
:employs Haskell for trading software
+
|uses Haskell to rapidly build biotech modelling software
;[http://antiope.com/ Antiope]
+
|-
:uses Haskell for simulation and verification of wireless systems
+
|[http://peerium.com Peerium, Inc]
;[http://www.abnamro.com/ ABN AMRO]
+
|builds reliable peer-to-peer applications in Haskell
:built interactive tools for quantitative analysts in Haskell
+
|-
;[http://galois.com Galois, Inc]
+
|[http://research.microsoft.com/ Microsoft Research]
:uses Haskell to build high assurance systems
+
|has ongoing research investments in Haskell
 +
|-
 +
|[http://www.eaton.com/ Eaton Corporation]
 +
|uses Haskell to control hybrid vehicles
 +
|-
 +
|[http://www.db.com/ Deutsche Bank]
 +
|employs Haskell for trading software
 +
|-
 +
|[http://antiope.com/ Antiope]
 +
|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
 +
|-
 +
|[http://bluespec.com Bluespec, Inc]
 +
|uses Haskell to implement a high-level hardware description language
 +
|-
 +
|[http://www.qualcomm.com Qualcomm, Inc]
 +
|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]]
 +
|-
 +
|}
 +
</center>
  
More Haskell success stories at [http://cufp.galois.com/ CUFP] and the [[Haskell_in_industry|Industry Wiki]]
+
Find more Haskell success stories at [http://cufp.galois.com/ CUFP] and
 +
the [[Haskell_in_industry|Industry Wiki]], or find a
 +
[http://haskell.org/haskellwiki/Consultants consultant].

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.