A curated list of companies using Nix / NixOS in production.
Similar lists for other purely functional languages:
| Name (Link to Website) | HQ Location | Other Languages |
|---|---|---|
| Aeza | UK | TypeScript, Python, Rust |
| Anduril | USA, California | Haskell, Rust |
| Antithesis | USA, Virginia | C/C++, Rust, TypeScript, JavaScript |
| Arista | USA | Haskell |
| Artificial | UK | Haskell |
| Cachix | Estonia | Haskell, Elm |
| CircuitHub | UK | Haskell, Elm |
| Cyberus Technology | Germany | C++, Rust, Haskell |
| D. E. Shaw | USA | |
| Determinate Systems | USA | Rust |
| Dfinity | Switzerland, Zürich | Haskell, Rust |
| Edgeless Systems | Germany | Go |
| Feram | Germany | Haskell, Elm, PureScript, Rust |
| Flox | USA | Rust, JavaScript |
| Flyingcircus | Germany | Python |
| FPComplete | USA | Haskell, Rust |
| Glimpse | USA, Boston | |
| USA, California | Haskell, Rust | |
| HAMBS | Australia | Elm |
| Heilmann Software | Germany | Haskell |
| Helsinki Systems | Germany | Rust, Python, Go |
| Hercules CI | Netherlands | Haskell |
| IO Global | USA, Wyoming | Haskell, Rust |
| JusPay | India, Bengaluru | Haskell, PureScript, Rust |
| Mercury | USA, California | Haskell |
| Mlabs | UK | Haskell, Rust |
| Monzo | UK, USA | Python, Java |
| Nix.How | USA | |
| Numtide | Switzerland | Rust |
| Obsidian Systems | USA, New York | Haskell |
| PDT Partners | USA, UK | |
| Platonic Systems | USA | Haskell, Elm, PureScript |
| Plumelo | Romania | Rust, Typescript, Javascript |
| Replit | USA, California | |
| Scarf | USA | Haskell |
| Serokell | USA | Haskell, Rust |
| Shopify | Canada | Ruby, Go, TypeScript |
| Smallbrooks | Denmark, Copenhagen | Elm |
| Stack Builders | USA | Haskell, Ruby |
| Supabase | USA | Rust, TypeScript, Go |
| TextQL | USA | Haskell |
| Tweag | USA | Haskell, Rust |
| Typeable | USA | Haskell |
| Well-Typed | USA | Haskell |