Haskell in industry

Haskell has a diverse range of use commercially, from aerospace and defense, to finance, to web startups, hardware design firms and a lawnmower manufacturer. This page collects resources on the industrial use of Haskell.

• The main user conference for industrial Haskell use is CUFP - the Commercial Users of Functional Programming Workshop.
• The Industrial Haskell Group supports commercial users.
• There is a well-maintained (as of 2018) github repository that collects information on companies using Haskell.
• The commercial Haskell group is a special interest group for companies and individuals interested in commercial usage of Haskell.

The Reddit page 72 would-be commercial Haskell users: what Haskell success stories we need to see has several stories of commercial Haskell users.

Haskell in Industry

Many companies have used Haskell for a range of projects, including:

• ABN AMRO Amsterdam, The Netherlands

ABN AMRO is an international bank headquartered in Amsterdam. For its investment banking activities it needs to measure the counterparty risk

on portfolios of financial derivatives.

ABN AMRO's CUFP talk.

• Aetion Technologies LLC, Columbus, Ohio

Aetion was a defense contractor in operation from 1999 to 2011, whose applications use artificial intelligence. Rapidly changing priorities make it important to minimize the code impact of changes, which suits Haskell well. Aetion developed three main projects in Haskell, all successful. Haskell's concise code was perhaps most important for rewriting: it made it practicable to throw away old code occasionally. DSELs allowed the AI to be specified very declaratively.

Aetion's CUFP talk.

• Alcatel-Lucent

A consortium of groups, including Alcatel-Lucent, have used Haskell to prototype narrowband software radio systems, running in (soft) real-time.

Alcatel-Lucent's CUFP talk

• Allston Trading

Headquartered in Chicago, Illinois, Allston Trading, LLC is a premier high frequency market maker in over 40 financial exchanges, in 20 countries, and in nearly every conceivable product class. Allston makes some use of Haskell for their trading infrastructure.

• Alpha Heavy Industries

Alpha Heavy Industries is an alternative asset manager dedicated to producing superior returns through quantitative methods. They use Haskell as their primary implementation language.

• Amgen Thousand Oaks, California

Amgen is a human therapeutics company in the biotechnology industry. Amgen pioneered the development of novel products based on advances in recombinant DNA and molecular biology and launched the biotechnology industry’s first blockbuster medicines.

Amgen uses Haskell;

• To rapidly build software to implement mathematical models and other complex, mathematically oriented applications
• Provide a more mathematically rigorous validation of software
• To break developers out of their software development rut by giving them a new way to think about software.

Amgen's CUFP talk.

• Ansemond LLC

"Find It! Keep It! is a Mac Web Browser that lets you keep the pages you visit in a database. A list of these pages is shown in the 'database view'. "

• Antiope Fair Haven, New Jersey

Antiope Associates provides custom solutions for wireless communication and networking problems. Our team has expertise in all aspects of wireless system design, from the physical and protocol layers to complex networked applications. Antiope Associates relies on a number of advanced techniques to ensure that the communication systems we design are reliable and free from error. We use custom simulation tools developed in Haskell, to model our hardware designs..

Antiope's CUFP talk.

• Antiope Fair Haven, New Jersey

Antiope Associates provides custom solutions for wireless communication and networking problems. Our team has expertise in all aspects of wireless system design, from the physical and protocol layers to complex networked applications. Antiope Associates relies on a number of advanced techniques to ensure that the communication systems we design are reliable and free from error. We use custom simulation tools developed in Haskell, to model our hardware designs..

Antiope's CUFP talk.

• Applicative, Sydney (Australia)

Applicative has created a Haskell IDE for macOS called "Haskell for Mac". It offers playgrounds to interactively work with Haskell code right next to the source files: you can draw and preview images, animations, HTML pages and more. You can also build full-fledged applications with it.

• AT&T

Haskell is being used in the Network Security division to automate processing of internet abuse complaints. Haskell has allowed us to easily meet very tight deadlines with reliable results.

• Bank of America Merril Lynch

Haskell is being used for backend data transformation and loading.

• Barclays Capital Quantitative Analytics Group

Barclays Capital's Quantitative Analytics group is using Haskell to develop an embedded domain-specific functional language (called FPF) which is used to specify exotic equity derivatives. These derivatives, which are naturally best described in terms of mathematical functions, and constructed compositionally, map well to being expressed in an embedded functional language. This language is now regularly being used by people who had no previous functional language experience.

Simon Frankau et al's JFP paper on their use of Haskell

Read their 2013 job advertisement

• BAE Systems

As part of the SAFE project, BAE has built a collection of compilers, interpreters, simulators, and EDSLs almost entirely in Haskell.

CUFP 2013 talk

• BazQux Reader

BazQux Reader is a commercial RSS reader. Its feeds and comments crawler and a part of web-server are implemented in Haskell.

• Better

Better, formerly known as Erudify, is a learning company built around the mission of making people better. We are an unusual mix of a software company, a consulting firm, and a creative agency. This tight integration enables us to deliver innovative, high-quality courses to our customers.

Founded in 2012, Better is based in Zurich, Switzerland and New York, USA. Better is fully invested in Haskell; Most parts of our back-end system (web-servers and learning logic) are written in Haskell. Haskell is also used in most parts of our front-end system.

• bCODE Pty Ltd Sydney Australia

bCode Pty Ltd is a small venture capital-funded startup using Ocaml and a bit of Haskell in Sydney Australia.

• Bdellium Hawaii, United States

Bdellium develops software systems that enable companies in the financial industry to deliver new customer services that grow their business. Bdellium uses Haskell for heavy lifting analysis in back end infrastructure.

• Betterteam Remote

Betterteam is a recruitment platform for small businesses and growing teams. It allows employers to post their jobs to hundreds of job boards, manage candidates, and add a careers section to their website.

Betterteam's backend applications are 100% Haskell and the frontend web application is written in PureScript.

• Bluespec, Inc. Waltham, Massachusetts

Developing a modern integrated circuit (ASIC or FPGA) is an enormously expensive process involving specification, modeling (to choose and fix the architecture), design (to describe what will become silicon) and verification (to ensure that it meets the specs), all before actually committing anything to silicon (where the cost of a failure can be tens of millions of dollars). Bluespec, Inc. is a three year-old company that provides language facilities, methodologies, and tools for this purpose, within the framework of the IEEE standard languages SystemVerilog and SystemC, but borrowing ideas heavily from Term Rewriting Systems and functional programming languages like Haskell. In this talk, after a brief technical overview to set the context, we will describe our tactics and strategies, and the challenges we face, in introducing declarative programming ideas into this field, both externally (convincing customers about the value of these ideas) and internally (using Haskell for our tool implementation).

Bluespec's CUFP talk.

• Bump

Bump use a Haskell-based server, Angel, for process supervisor for all their backend systems, and for other infrastructure tasks.

Haskell at Bump

• Capital IQ

We have been using functional programming here at S&P Capital IQ in Scala, Haskell, and our homegrown reporting language Ermine, since 2008 for financial analytics.

Capital IQ's CUFP 2013 talk

• Chordify

Chordify is a free online music service that transforms music, from YouTube, Deezer, SoundCloud or uploaded files, into chords. There's an ICFP experience report explaining how Haskell is used for this:

José Pedro Magalhães and W. Bas de Haas. Functional Modelling of Musical Harmony: an Experience Report. In Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming (ICFP'11), pp. 156–162, ACM, 2011.

• Circos Brand Karma Singapore

Brand Karma provides services to brand owners to measure online sentiments towards their brands. Haskell is used in building parts of the product, specifically for back-end job scheduling and brand matching.

• CircuitHub

CircuitHub aims to be the AWS for manufacturing, enabling hardware companies and makers to instantly quote designs and scale from prototype to production. We are also proud to host a large collection of open hardware designs. CircuitHub uses Haskell for our core services and algorithms.

• Credit Suisse Global Modeling and Analytics Group London, UK; New York City, New York

GMAG, the quantitative modeling group at Credit Suisse, has been using Haskell for various projects since the beginning of 2006, with the twin aims of improving the productivity of modelers and making it easier for other people within the bank to use GMAG models. Current projects include: Further work on tools for checking, manipulating and transforming spreadsheets; a domain-specific language embedded in Haskell for implementing reusable components that can be compiled into various target forms (see the video presentation: Paradise, a DSEL for Derivatives Pricing).

Credit Suisse's CUFP talk.

• Cryptact Tokyo, Japan

Cryptact provides a platform for cryptocurrency investors based on our expertise in finance and technology, and is exploring the potential of Haskell in our backend services.

• Detexify

Detexify is an online handwriting recognition system, whose backend is written in Haskell.

• Fynder

Fynder is an online booking platform.

We use Haskell and clojurescript, all stitched together with nixos

See more in their original job posting.

• Deutsche Bank Equity Proprietary Trading, Directional Credit Trading

The Directional Credit Trading group used Haskell as the primary implementation language for its software infrastructure.

Deutsche Bank's CUFP talk.

• Dr. Peter & Alexander Thiemann GbR

Dr. Peter & Alexander Thiemann GbR is a software consultancy with strong focus on functional development with Haskell and hardware-software systems.

• Eaton Cleveland, Ohio

Design and verification of hydraulic hybrid vehicle systems

Eaton's CUFP talk

Eaton's experiences using a Haskell DSL

• [Ericsson AB]

Ericsson uses Haskell for the implementation of Feldspar, an EDSL for digital signal processing algorithms.

Ericsson's Feldspar compiler

• extensibl

New Zealand-based company. Provides a variety of software development, consulting, operational support services worldwide. Both Haskell and Ur/Web are actively used for commercial projects.

• Facebook

Facebook uses some Haskell internally for tools. lex-pass is a tool for programmatically manipulating a PHP code base via Haskell.

Facebook's CUFP talk

Facebook's HaXL system is open source

• Factis Research

Factis research, located in Freiburg, Germany, co-develops Checkpad, a mobile electronic health record. Our client software runs under iOS, web browsers and Windows. The server components are implemented in 95% in Haskell.

• fortytools gmbh

Located in Hamburg, Germany, we are developing web-based productivity tools for invoicing, customer management, resource scheduling and time tracking. While using Javascript for building rich frontend application in the browser, we use Haskell to implement the REST backends. Additionally, we do occasional project/client work as well.

Oh, and of course we develop and maintain Hayoo! :)

• Functor AB, Stockholm, Sweden

Functor AB offers new tools for ground-breaking static analysis with pre-test case generation of programs to eliminate defects and bugs in software very early in development.

Functor collaborates with the JET fusion reactor run by EFDA CCFE. JET is currently the largest reactor in the world of its kind. At Functor, almost all development is done in Haskell but also to some extent also C and Scala.

See more in the Functor AB job advertisement

• Funktionale Programmierung Dr. Heinrich Hördegen, Munich, Germany

We develop software prototypes according to the Pareto principle: After spending only 20 percent of budget, we aim to provide already 80 percent of the software's functionality. We can realize this by constructing a 2080-software-prototype that we can further develop into a full-fledged solution...

• Galois, Inc Portland, Oregon

Galois designs and develops high confidence software for critical applications. Our innovative approach to software development provides high levels of assurance, yet its scalability enables us to address the most complex problems. We have successfully engineered projects under contract for corporations and government clients in the demanding application areas of security, information assurance and cryptography.

Galois' 2007 CUFP talk

Galois' 2011 CUFP talk

Galois' retrospective on 10 years of industrial Haskell use

• Google

Haskell is used on a small number of internal projects in Google, for internal IT infrastructure support, and the open-source Ganeti project. Ganeti is a tool for managing clusters of virtual servers built on top of Xen and KVM.

Google's ICFP 2010 experience report on Haskell

Video from ICFP Project Ganeti at Google

• Glyde

Glyde uses OCaml and Haskell for a few projects. Glyde uses Haskell for our client-side template source-to-source translator, which converts HAML-like view templates into JS code.

• Group Commerce

Group Commerce uses Haskell to drive the main component of their advertising infrastructure: a Snap Framework based web server. Haskell enabled quicker development, higher reliability, and better maintainability than other languages, without having to sacrifice performance.

• Hasura

Hasura is a BaaS/PaaS focussed on keeping things DRY and letting you write custom code with the tools you love. We're building a micro-service platform christened Hasura.io (alpha release scheduled in summer 2015), and we used Haskell as the core programming language to build it.

• Humane Software

We develop enterprise systems with de-coupled, asynchronous Haskell backends and Javascript UIs.

For our current customer, an Internet connectivity provider, we wrote a solution for monitoring multiple remote machines and analyzing gigabytes of traffic samples. Haskell proved an excellent tool for the job.

We were able to replace legacy systems in a granular, piece-by-piece manner, while delivering new features.

• Hustler Turf Equipment Hesston, Kansas

Designs, builds, and sells lawn mowers. We use quite a bit of Haskell, especially as a "glue language" for tying together data from different manufacturing-related systems. We also use it for some web apps that are deployed to our dealer network. There are also some uses for it doing sysadmin automation, such as adding/removing people from LDAP servers and the like

• iba Consulting Gesellschaft - Intelligent business architecture for you. Leipzig, Germany

iba CG develops software for large companies:

• risk analysis and reporting solution for power supply company;
• contract management, assert management, booking and budgeting software for one of the worldwide leading accounting firm.

• IMVU, Inc

IMVU, Inc. is a social entertainment company connecting users through 3D avatar-based experiences. See the blog article What it's like to use Haskell

• Informatik Consulting Systems AG

ICS AG developed a simulation and testing tool which based on a DSL (Domain Specific Language). The DSL is used for the description of architecture and behavior of distributed system components (event/message based, reactive). The compiler was written in Haskell (with target language Ada). The test system is used in some industrial projects.

• Intel

Intel has developed a Haskell compiler as part of their research on multicore parallelism at scale.

Read the Intel Research paper on compiler

• IVU Traffic Technologies AG

The rostering group at IVU Traffic Technologies AG has been using Haskell to check rosters for compliance with EC regulations.

Our implementation is based on an embedded DSL to combine the regulation’s single rules into a solver that not only decides on instances but, in the case of a faulty roster, finds an interpretation of the roster that is “favorable” in the sense that the error messages it entails are “helpful” in leading the dispatcher to the resolution of the issue at hand.

The solver is both reliable (due to strong static typing and referential transparency — we have not experienced a failure in three years) and efficient (due to constraint propagation, a custom search strategy, and lazy evaluation).

Our EC 561/2006 component is part of the IVU.crew software suite and as such is in wide-spread use all over Europe, both in planning and dispatch. So the next time you enter a regional bus, chances are that the driver’s roster was checked by Haskell.

• JanRain

JanRain uses Haskell for network and web software. Read more about Haskell at JanRain and in their tech talk at Galois. JanRain's "Capture" user API product is built on Haskell's Snap webframework.

See Janrain's technical talk about their use of Snap

• Joyride Laboratories

Joyride Laboratories was an independent game development studio, founded in 2009 by Florian Hofer and Sönke Hahn. Their first game, "Nikki and the Robots" was released in 2011.

• Keera Studios

Keera Studios Ltd is a European game development studio that develops mobile, desktop and web apps.

• Games: The mobile game Magic Cookies! was written in Haskell and released in 2015 for Android and 2017 for iOS. Other games include Haskanoid, also available for Android, and a multi-platform Graphic Adventure library and engine with Android and iOS support and an IDE.

• Reactive Programming and GUIs: Keera Studios is also the maintainer of Keera Hails, an Open-Source reactive rapid application development framework with backends for Android and iOS's native GUI toolkits, Web DOM via GHCJS, Gtk+, Wx and Qt. With Hails, it is possible to write Haskell applications with UIs that work both for mobile and desktop.

Keera Studios' Gale IDE (a game IDE), Keera Posture (a open-source posture monitor using the webcam) and other mobile apps are also developed using Hails.

See the Facebook page for details on iOS & Android games and apps and ongoing development.

• kinoubi

At kinoubi we believe in high quality code, that just works. We use software quality metrics to achieve an exceptional level of quality. Our main programming language is Haskell because of its elegance and philosophy of functional purity. It is what we believe in, it is our name: 'kinoubi' means 'functional elegance' in Japanese. Our code is produced for a range of different domains including data mining and machine learning.

• Lifted Software UG, Berlin, Germany

Lifted has developed a macOS application "JSON Class Generator" that allows the user to specify data types (classes/enums) in a visual editor. These models can then be exported to Objective-C source code, which is capable of serializing/deserializing the instances to/from JSON. When parsing JSON, the structures are validated against the specification and errors are reported. The generated code comes with handy implementations for methods like -description, -isEqual:, -copy, -hash and more, that are boring to write and tedious to keep updated by hand.

• Linkqlo

Linkqlo Inc is a Palo Alto-based technology startup that is building a pioneering mobile community to connect people with better fitting clothes. We’re solving an industry-wide pain point for both consumers and fashion brands in retail shopping, sizing and fitting, just like Paypal took on the online payment challenge in 1999. We started deploying Haskell as the backend language recently in August 2015, in an effort to eventually replace all PHP endpoint APIs with Haskell ones.

Linkqlo's iOS app from App Store

• Linspire

Linspire, Inc. has used functional programming since its inception in 2001, beginning with extensive use of O'Caml, with a steady shift to Haskell as its implementations and libraries have matured. Hardware detection, software packaging and CGI web page generation are all areas where we have used functional programming extensively. Haskell's feature set lets us replace much of our use of little languages (e.g., bash or awk) and two-level languages (C or C++ bound to an interpreted language), allowing for faster development, better code sharing and ultimately faster implementations. Above all, we value static type checking for minimizing runtime errors in applications that run in unknown environments and for wrapping legacy programs in strongly typed functions to ensure that we pass valid arguments.

Linspire's CUFP talk

Linspire's experience report on using functional programming to manage a Linux distribution

• LumiGuide

LumiGuide is an innovative software company which specialises in smart parking and guidance systems for both bicycles and cars. LumiGuide developed and installed the P-route Bicycle system for the City of Utrecht in 2015. This system guides cyclists via digital, street-level displays to available parking space in a number of parking facilities in the city centre. Utrecht is the first city in the world that has a system like this. The detection technology is based on optical sensors which are independent of the bicycle stands. The sensors are mounted to the ceiling in indoor facilities and mounted to poles in outdoor facilities. Every minute, one sensor detects 40 to 60 parking places at the same time in either single- or two-tier bicycle stands as well as (stand-less) free parking places. Bicycles that exceed the maximum parking duration ('orphaned' bicycles) are also detected and the system will automatically keep a log of pictures of the orphaned bicycle which can be used as evidence when the orphaned bicycle is removed by a facility operator. The usage of the facility can be monitored with web-based control software. LumiGuide also develops the indoor and outdoor digital displays which can be controlled using the web-based control software.

We are extensively using Haskell and NixOS.

• Microsoft

Microsoft uses Haskell for its production serialization system, Bond. Bond is broadly used at Microsoft in high scale services. Microsoft Research has, separately, been a key sponsor of Haskell development since the late 1990s.

• MITRE

MITRE uses Haskell for, amongst other things, the analysis of cryptographic protocols.

• The New York Times

A team at the New York Times used Haskell's parallel array library to process images from 2013 New York Fashion Week. Haskell was chosen based on its fast numerical arrays packages, and ease of parallelization.

Model analysis

Haskell in the Newsroom

• NICTA

NICTA has used Haskell as part of a project to verify the L4 microkernel.

Read the Dr. Dobbs article on using Haskell and formal methods to verify a kernel

• NRAO

NRAO has used Haskell to implement the core science algorithms for the Robert C. Byrd Green Bank Telescope (GBT) Dynamic Scheduling System (DSS).

Source code available on GitHub.

• NS Solutions(NSSOL) Tokyo, Japan

NS Solutions has employed Haskell since 2008 to develop its software packages including "BancMeasure", a mark-to-market accounting software package for financial institutions, "BancMeasure for IFRS" and "Mamecif", a data analysis package. "BancMeasure" and "Mamecif" are registered trademarks of NS Solutions Corporation in JAPAN.

• NVIDIA

At NVIDIA, we have a handful of in-house tools that are written in Haskell

• Openomy

Openomy's API v2.0 is developed in Haskell, using the HAppS web platform.

• Oblomov

Oblomov Systems is a one-person software company based in Utrecht, The Netherlands. Founded in 2009, Oblomov has since then been working on a number of Haskell-related projects. The main focus lies on web-applications and (web-based) editors. Haskell has turned out to be extremely useful for implementing web servers that communicate with JavaScript clients or iPhone apps.

Oblomov's HCAR submission.

• Patch-Tag: hosting for Darcs

Need somewhere to put your Darcs code? Try us.

Patch-Tag is built with happstack, the continuation of the project formerly known as HAppS.

• Peerium, Inc Cambridge, Massachusetts

At Peerium, we're striving to bring a new level of quality and efficiency to online communication and collaboration within virtual communities, social networks, and business environments. We believe that a new environment that supports the effortless sharing of both information and software will enable a level of online cooperation far beyond current Web-based technologies -- modern programming techniques will enable the creation of more robust and more powerful programs within these environments. To this end, we're building a new software platform for direct, real-time communication and collaboration within graphically rich environments. Peerium is located in the heart of Harvard Square in Cambridge, Massachusetts.

• Picus Security Ankara, Turkey

There are lots of IT security products currently used in enterprises to protect customers from cyber threats. How do we ensure about their effectiveness? At this point we have an idea. An idea that we believe will change the entire ecosystem of security operations which we call 'Verified Security' by continuously assessing security controls and remediating them. At Picus Security, we're extensively using Haskell from the starting point of the project. Our backend completely written in Haskell which consists of REST API, distributed haskell nodes and attacker modules.

• PlanIt9

PlanIt9 is a Yesod-based web application for defining, planning, scheduling and tracking tasks. It's designed to be fast, simple, collaborative and cost effective. We're currently signing up users for our beta program.

• Plumlife

Plum is replacing light switches with Lightpads; a capacitive touch dimmer that is internet connected, clusters with other Lightpads in the home for group control... Haskell composes our cloud services and Erlang is used for the embedded software in the Lightpads (hot-code reloading, easy node clustering, etc...). ... We use Haskell extensively for all of our cloud services software at Plumlife ... Amazing language and ecosystem.

• Qualcomm, Inc

Qualcomm uses Haskell to generate Lua bindings to the BREW platform

• SQream

At SQream, we use Haskell for a large part of our code. We use Haskell for the compiler, which takes SQL statements and turns them into low level instructions for the high performance CUDA runtime. We also use Haskell for rapid prototyping and for many auxiliary utilities.

• Parallel Scientific, Boulder, Colorado.

We are using Haskell to develop an ultra-scalable high-availability resource management system for big clusters (millions of nodes). A key element of the design is to provide scalable and reliable mechanisms for communicating failures and coordinating recovery transitions.

See Parallel Scientific's CUFP talk

• Renaissaince Computing Institute, Chapel Hill, North Carolina

The Renaissance Computing Institute (RENCI), a multi-institutional organization, brings together multidisciplinary experts and advanced technological capabilities to address pressing research issues and to find solutions to complex problems that affect the quality of life in North Carolina, our nation and the world.

Research scientists at RENCI have used Haskell for a number of projects, including The Big Board.

RENCI's CUFP talk.

• RELEX Solutions in Helsinki, Finland

RELEX uses Haskell (and Nix) in production for several internal tools and systems.

• ruevoisine.fr

This rental ads website uses Haskell both on client and server.

Web server is written in Erlang (Yaws) however app is nearly all Haskell.

Js code is produced, minified and bundled from Haskell.

• Samplecount

Samplecount develops mobile, location-aware sound and music applications. They are currently using Haskell for prototyping their server-side soundscape streaming components and as a cross-platform build tool for their mobile applications and frameworks.

• Sankel Software Albuquerque, New Mexico

Sankel Software has been using Haskell since 2002 for both prototyping and deployment for technologies ranging from CAD/CAM to gaming and computer animation. We specialize in the development of user-friendly, large, long-term applications that solve difficult and conceptually intricate problems.

• Scrive

Scrive is a service for e-signing tenders, contracts, and other documents. We help our clients close deals faster, decrease their administrative burden, and improve their customers’ experience.

• Serokell

Serokell is a company that favors Haskell for all kinds of software development: fault-resistant critical systems, blockchain platforms, mathematical modeling and prototyping, compiler design for GHC, DSL/eDSLs, third-party applications, and high volume APIs. They also popularize Haskell among programmers by supporting Haskell-related conferences, participating in CS contests and hackathons, and writing educational materials about Haskell.

• Siemens Convergence Creators GmbH Austria

Siemens CVC uses Haskell since a few years in the space domain. Starting with small tools like data conversion and automation of scripting tasks over installers we use Haskell currently for Space Protocol Proxies to allow connect different space systems (e.g. Cortex to NCTRS or SLE to NCTRS with COP-1 handling). The main use is currently a Simulator implemented in Haskell which handles parts of NCTRS (or SSB), the ground station and parts of the satellite to be able to make closed-loop tests for the SCOS-2000 based Mission Control System. It is in use for testing and debugging of the Mission Control System and for checking implementation of new features. It has served for various, currently active missions and also is in use for some missions to come.

• Signali Portland, Oregon

Signali Corp is a new custom hardware design company. Our chief products are custom IP cores targeted for embedded DSP and cryptographic applications. Our specialty is the design and implementation of computationally intensive, complex algorithms. The interfaces to each core are modular and can be very efficiently modified for your specific application. System-level integration and validation is crucial and is the majority of investment in a product.

• Soostone New York, NY

Soostone is an advanced analytics technology provider specializing in algorithmic optimization opportunities in marketing, pricing, advertising, sales and product management. As the preferred language, Haskell is used intensively at Soostone in numerous applications including customized machine learning algorithms, models/simulations, real-time decision-making engines, DSL/EDSLs, web applications and high volume APIs.

• Standard Chartered

Standard Chartered has a large group using Haskell for all aspects of its wholesale banking business.

• Stack Builders

Stack Builders is a software consultancy based in New York, with its largest office in Quito, Ecuador. They build web, mobile and real-time applications for clients in industries including the automotive industry, finance, and social media and marketing. They have assisted clients in multiple industries with both legacy and greenfield projects in Haskell.

• Starling Software Tokyo, Japan

Starling Software are developing a commercial automated options trading system in Haskell, and are migrating other parts of their software suite to Haskell.

Starling Software's experience building real time trading systems in Haskell

• Sensor Sense Nijmegen, The Netherlands

Sensor Sense is offering high technology systems for gas measurements in the ppbv down to pptv range. We use Haskell for the embedded control software of our trace gas detectors.

For more information see Senor Sense's position advertisement

• Silk Amsterdam, The Netherlands

Silk investigates and develops new ways of creating and consuming online content. Their Silk application makes it easy to filter and visualize large amounts of information.

Silk's blog on why they use Haskell

A review of Silk

• Skedge Me

skedge.me is an online scheduling platform that allows businesses to completely automate the process of making appointments, such as customer visits, job interviews, and tutoring sessions.

See more in their CUFP talk

See their 2014 job advertisement

• Suite Solutions

Suite Solutions provides products and solutions in support of large sets of technical documentation based on DITA for general technical documentation, and other more specialized XML and SGML formats for specific industries such as the aerospace industry. Many of Suite Solutions' products and solutions, such as the featured products SuiteHelp and SuiteShare, are written in Haskell.

• SumAll New York, New York

SumAll aggregates various public streams of data such as various social network data into useful analytics, reports and insights. We are in process of rewriting our entire data-processing backend in Haskell. What attracted us to the language is its disciplined and uncompromising approach to solving hard problems and managing complexity. We truly believe that the language and ecosystem is ready for prime time and will give us competitive advantage in the industry.

• Symbiont.io New York, NY

Symbiont is a New York-based startup that is using smart contracts and blockchain technology to radically improve financial market back-office infrastructure. Haskell is currently used at Symbiont for its network management tooling, and there are plans to expand the use of the language to transaction processing and other backend services.

• Tabula.com

Tabula is a privately held fabless semiconductor company developing 3-D Programmable Logic Devices. Haskell is used for internal compiler toolchains related to hardware design.

• TramCloud GmbH

TramCloud builds measurement devices and analytics platforms for tram operators. Most software is written in Haskell.

• Tripshot, Inc. San Jose, California

All-In-One Transportation Management Software

• Tsuru Capital Tokyo, Japan

Tsuru Capital is operating an automated options trading system written in Haskell.

Tsuru Capital's HCAR submission

• Tupil Utrecht, The Netherlands

Tupil is a Dutch company that built software for clients, written in Haskell. Tupil used Haskell for the speed in development and resulting software quality. The company is founded by Chris Eidhof and Eelco Lempsink. Currently they build iPhone/iPad applications in Objective-C.

Tupil's experience building commercial web apps in Haskell

• Uffizio GmbH Switzerland

Uffizio is a one-person company in Switzerland that uses Haskell for building correct, maintainable and fast e-commerce web applications as well as internal tools.

• Wagon San Francisco, California

Wagon is a modern SQL editor: a better way for analysts and engineers to write queries, visualize results, and share data & charts.

We’re a team of functional programmers writing apps and services in Haskell (and Javascript). We love to teach and learn functional programming; our team is humble, hard working, and fun. Read our engineering blog to learn more about our stack, how we combine Haskell, React, and Electron, and what it’s like working at a Haskell-powered startup.

We're hiring Haskell engineers based in San Francisco, learn more about the roles and our team!

• Xoken Labs Bangalore, India

Xoken Labs is building a decentralized platform based on blockchain technology.

Xoken Labs is a technology company committed to revolutionize financial services via secure distributed P2P solutions, effectively addressing challenges pertaining to trade, trust & ownership. The Xoken project aims to create a next-gen decentralized smart economy. We believe in distributed, innovative teams and love to push the frontiers of distributed ledger technology.

We're hiring Haskellers!

https://www.xoken.org/careers/

If you're using Haskell commercially, please add your details here.

The Industrial Haskell Group

The Industrial Haskell Group (IHG) is an organisation to support the needs of commercial users of the Haskell programming language.

Jobs and recruitment

Haskell jobs on the HaskellWiki.

Jobs at Haskellers.com.

Consultants

Consultants

Commercial Users of Functional Programming Workshop

Commercial Users of Functional Programming

The goal of CUFP is to build a community for users of functional programming languages and technology, be they using functional languages in their professional lives, in an open source project (other than implementation of functional languages), as a hobby, or any combination thereof. In short: anyone who uses functional programming as a means, but not an end.