Companies

Ahrefs

πŸ“ Singapore

ocaml c++

Amentum

πŸ“ Chantilly, VA, USA

ada c++ embedded

Anduril Industries

πŸ“ Costa Mesa, CA, USA

haskell embedded

Arctic Slope Regional Corporation

πŸ“ Utqiagvik, AK, USA

ada java c++ c# python js

BAE Systems

πŸ“ London, UK

ada c++ embedded

Boeing

πŸ“ Crystal City, VA, USA

ada c++ embedded

CertiK

πŸ“ New York, NY, USA

ocaml

Collins Aerospace

πŸ“ Charlotte, NC, USA

ada c++ embedded

D-EDGE

πŸ“ Paris, France

fsharp

DataRisk

πŸ“ FlorianΓ³polis, Brazil

fsharp

Digital Asset Holdings

πŸ“ New York, NY, USA

haskell scala

Divisions Maintenance Group

πŸ“ Cincinnati, OH, USA

fsharp csharp

Draper

πŸ“ Cambridge, MA, USA

haskell

Epic Games

πŸ“ Cary, NC, USA

c++ haskell

G-Research

πŸ“ London, United Kingdom

quantitative-research machine-learning ai big-data c++ scala python finance

GE Aerospace

πŸ“ Evendale, Ohio, USA

ada c embedded

Galois, Inc.

πŸ“ Portland, OR, USA

haskell rust

Genetec

πŸ“ MontrΓ©al, QuΓ©bec, Canada

fsharp csharp

Honeywell Aerospace

πŸ“ Phoenix, AZ, USA

ada c++ embedded

IDTechEx

πŸ“ Cambridge, United Kingdom

fsharp

Imandra

πŸ“ Austin, TX, USA

ocaml

Imiron

πŸ“ Tokyo, Japan

haskell

InCommodities

πŸ“ Aarhus, Denmark

fsharp

Innovative Defense Technologies

πŸ“ Arlington, VA, USA

c c++ ada java python js

Input Output Global (IOHK)

πŸ“ Singapore

haskell

IntelliFactory

πŸ“ Budapest, Hungary

f# functional-programming web-development cloud-computing

JPMorgan Chase

πŸ“ New York, NY, USA

scala

Jane Street

πŸ“ New York, NY, USA

ocaml

KPMG

πŸ“ Amstelveen, Netherlands

fsharp

Kaseya

πŸ“ Miami, FL, USA

fsharp

Klarna

πŸ“ Stockholm, Sweden

erlang

Kudu Dynamics

πŸ“ Chantilly, VA, USA

haskell

Leonardo

πŸ“ Rome, Italy

java python c++ ada js scrum

LexiFi

πŸ“ Paris, France

ocaml

Lockheed Martin

πŸ“ Bethesda, MD, USA

ada c++ embedded

Lokad

πŸ“ Paris, France

fsharp

MBDA Systems

πŸ“ Le Plessis-Robinson, France

ada c++ embedded

Meqo

πŸ“ Freiburg im Breisgau, Germany

haskell

Mercury

πŸ“ San Francisco, CA, USA

haskell

OCamlPro

πŸ“ Paris, France

ocaml

Performance Software Corporation

πŸ“ Phoenix, AZ, USA

c c++ ada embedded

Pluralsight

πŸ“ Draper, UT, USA

fsharp

Prezi

πŸ“ San Francisco, California, USA

scala

Prodrive Technologies

πŸ“ Eindhoven, The Netherlands

fsharp csharp

RTX

πŸ“ Arlington, Virginia, USA

ada c++ embedded

Rapita Systems

πŸ“ York, UK

c c++ java ada python perl

Scrive

πŸ“ Stockholm, Sweden

elm

Semgrep

πŸ“ San Francisco, CA, USA

ocaml go kotlin python

Serokell

πŸ“ Tallinn, Estonia

haskell rust ocaml elixir

Soostone

πŸ“ New York, NY, USA

haskell

Standard Chartered

πŸ“ London, United Kingdom

haskell

Tesla

πŸ“ Austin, TX, USA

haskell

Thales Group

πŸ“ Paris, France

c++ ada

Ultra Electronics

πŸ“ London, UK

ada c++ embedded

Wire

πŸ“ Berlin, Germany

haskell