Difference between revisions of "Template:Main/Success"

From HaskellWiki
Jump to navigation Jump to search
m
 
(20 intermediate revisions by 7 users not shown)
Line 1: Line 1:
 
'''Who's using Haskell?'''
  
'''Who's using Haskell?'''
   
  +
<center>
⚫
;[http://www.amgen.com/ Amgen]
  
  +
{| border="0" cellspacing="0" cellpadding="2"
−
:uses Haskell to rapidly build software based on mathematical models
  
  +
!
⚫
;[http://www.microsoft.com/ Microsoft Research]
  
  +
!
⚫
:has an ongoing research investments in Haskell
  
  +
|-
⚫
;[http://www.eaton.com/ Eaton Corporation]
  
  +
|[http://www.credit-suisse.com Credit Suisse]
⚫
:uses Haskell to control hybrid vehicles
  
  +
|builds quantitative modelling systems in Haskell
⚫
;[http://www.db.com/ Deutsche Bank]
  
  +
|-
⚫
:employs Haskell for trading software
  
−
;[http://antiope.com/ Antiope]
 +
|[http://www.amgen.com/ Amgen]
−
:uses Haskell for simulation and veification of wireless systems
 +
|uses Haskell to rapidly build biotech modelling software
  +
|-
  +
|[http://peerium.com Peerium, Inc]
  +
|builds reliable peer-to-peer applications in Haskell
  +
|-
  ⚫
|[http://research.microsoft.com/ Microsoft Research]
  ⚫
|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/2008/main.html 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.

Retrieved from "https://wiki.haskell.org/index.php?title=Template:Main/Success&oldid=24338"