A curated list of companies using Nix / NixOS in production.
Similar lists for other purely functional languages:
| Name (Link to Website) | HQ Location | Other Functional Languages |
|---|---|---|
| Anduril | USA, California | Haskell, Rust |
| Arista | USA | Haskell |
| Artificial | UK | Haskell |
| CircuitHub | UK | Haskell, Elm |
| Determinate Systems | USA | Rust |
| Dfinity | Switzerland, Zürich | Haskell, Rust |
| Feram | Germany | Haskell, Elm, PureScript, Rust |
| FPComplete | USA | Haskell, Rust |
| HAMBS | Australia | Elm |
| Heilmann Software | Germany | Haskell |
| Hercules CI | Netherlands | Haskell |
| IO Global | USA, Wyoming | Haskell, Rust |
| Mlabs | UK | Haskell, Rust |
| Nix.How | USA | |
| Numtide | Switzerland | Rust |
| Obsidian Systems | USA, New York | Haskell |
| PDT Partners | USA, UK | |
| Platonic Systems | USA | Haskell, Elm, PureScript |
| Replit | USA, California | |
| Scarf | USA | Haskell |
| Serokell | USA | Haskell, Rust |
| Stack Builders | USA | Haskell, Ruby |
| TextQL | USA | Haskell |
| Tweag | USA | Haskell, Rust |
| Typeable | USA | Haskell |
| Well-Typed | USA | Haskell |