Difference between revisions of "Template:Main/Success"
Jump to navigation
Jump to search
DonStewart (talk | contribs) |
m |
||
(16 intermediate revisions by 6 users not shown) | |||
Line 1: | Line 1: | ||
'''Who's using Haskell?''' |
'''Who's using Haskell?''' |
||
+ | <center> |
||
⚫ | |||
+ | {| border="0" cellspacing="0" cellpadding="2" |
||
⚫ | |||
+ | ! |
||
⚫ | |||
+ | ! |
||
− | :uses Haskell to rapidly build biotech modelling software |
||
+ | |- |
||
⚫ | |||
⚫ | |||
⚫ | |||
+ | |builds quantitative modelling systems in Haskell |
||
⚫ | |||
+ | |- |
||
⚫ | |||
− | + | |[http://www.amgen.com/ Amgen] |
|
− | + | |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] |
|
⚫ | |||
− | :uses Haskell to build high assurance systems |
||
+ | |- |
||
⚫ | |||
⚫ | |||
+ | |- |
||
⚫ | |||
+ | |employs Haskell for trading software |
||
+ | |- |
||
⚫ | |||
⚫ | |||
+ | |- |
||
⚫ | |||
⚫ | |||
+ | |- |
||
+ | |[http://galois.com Galois, Inc] |
||
⚫ | |||
+ | |- |
||
+ | |[http://bluespec.com Bluespec, Inc] |
||
+ | |uses Haskell to implement a high-level hardware description language |
||
+ | |- |
||
⚫ | |||
+ | |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> |
||
− | + | 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.