Nomadic Labs

Nomadic Labs’ expertise centers around the research and development of products and services in various domains of computer science, namely distributed, decentralized, and formally verified systems.

At Nomadic, we develop software that is at the cutting-edge of technological research while maintaining our old-school principles. There is still work to be done to decentralize the Internet. We believe that open-source software combined with open standards will enable it to reach its full potential. 


Our background has solid roots in academia. We trust technologies and tools that have been developed over the last 30 years to facilitate the formal verification of software, such as OCaml, F* and Coq. We believe that these resources are fundamental to develop world-changing software and the applications that follow.