Tailor made solutions built with fun

Spaceman Functori
Our Expertise

Functori was founded by like minded engineers and researchers who share the same passion for technological challenge.



We have more than seven years of experience in blockchains and decentralized applications development.

We take part in the development of public blockchains (in particular Tezos) and have built open source private blockchain instances with on-demand extensions. This work is complemented by tooling such as block explorers, smart contract languages, IDEs, scenarios and testing tools, etc. We have also built numerous blockchain-based systems and decentralized applications, and developed/reviewed a bunch of sensitive smart contracts.

Formal Methods

Formal Methods

We have experts in automated reasoning, in computer-aided verification, and in model checking.

We have contributed to several tools like the SMT solver Alt-Ergo, the parameterized model checker Cubicle. We have also contributed to the model checker Kind2, or the formally verified SMTCoq plugin which allows to use SMT solvers in Coq.
We have published more than 20 research papers in the top international conferences on formal methods (CAV, IJCAR, TACAS, FM, FMCAD, NFM, etc.)



We have expertise in programming languages design & DSLs, compilation, profiling, and meta-programming.

We have contributed to different software in this field such as the OCaml memory profiler and js_of_ocaml. In the blockchain world, we contributed to Tezos' smart language "Michelson", and the high level language "Liquidity" with its compiler to/from "Michelson". We also wrote smart contracts IDEs that are able to generate Javascript/Typescript interface code from smart contracts, and with built-in DSLs to describe tests scenarios

Our Solutions and Services

Tezos Integration

We have an extensive experience and a deep understanding of the Tezos blockchain. In addition to our contribution to its core development, we help its ecosystem grow by providing custom smart contracts, crawlers, SDKs, libraries, tools, and our integration expertise for companies that want to build on Tezos.

Smart Contract Review

Smart Contracts Review

We review your smart contracts to ensure that they are as safe as possible. Our smart contracts experts infer the specification from the code, confront it to yours, or to existing specifications, and provide you with a detailed report. With our review, you will gain more confidence in your dApp.

Research & Development

Research & Development

We deliver custom, safe and secure solutions, and help bring your ideas to life: from POC/MVC to a final product deployment.

We like challenging projects that require some R&D. We think innovation is a key component to differentiate your solution from others.

NFT Platform

NFT Platforms

NFTs (Non-Fungible Tokens) are unique and identifiable digital assets created on blockchains. They can represent different things in the real world: digital art, real-world assets, gaming items, photography, virtual goods, etc. Because your project is as unique as your NFTs, we develop for you a unique and customized platform.

Decentralized Finance

Decentralized Finance

Decentralized finance (DeFi) is an emerging financial technology based on distributed ledgers used by cryptocurrencies and secured by blockchain technology. If you seek to engage and capitalize on opportunities created by this new economic system, Functori propose different solutions to help you build your unique platform and participate in this new whole paradigm.

Consulting & Training

Consulting & Training

We help you analyze and identify the best technical solution for your needs and deliver a detailed technical analysis of your project.

We like sharing our experience and expertise of blockchains, formal methods and OCaml. We can help your team better understand the ins and outs of blockchain technology.

They Trust Us

Contact Us
Have a project in mind?

Contact us!