Functori

Functori is an R&D company created by engineers experienced in programming languages (especially OCaml), formal verification (automated reasoning, model checking, …), and blockchain technology (kernel, smart contracts, and application development).

In addition to contributing tools and libraries in OCaml and for the OCaml community, we participate in the development of the Tezos blockchain in several ways:

– Developing the core
– Building open-source tools and libraries for the community (such as indexers/crawlers, libraries to interact with the Tezos blockchain, etc.)
– Participation in the development of innovative projects for our clients
– Code auditing for our clients
– Consulting and training

Functori was founded in 2021 and is based in Paris (France), with people working remotely around the world.