Verifiable distributed systems and organizations.

We envision an open-source ecosystem of cooperatively owned and governed distributed organizations running on reliable distributed systems.

Learn More About Us

what we do

Systems (of Machines)

Informal conducts fundamental research and development into the design, implementation, and formal verification of distributed systems and protocols, including blockchain systems like the Tendermint Project and the Cosmos Network.

Organizations (of Humans)

Informal develops tools to simplify management of corporate state and processes in an open-source, plain text, and version-controlled manner, readable by both humans and machines.

Our Team

Informal is headquartered in Toronto, Canada with European offices in Vienna, Lausanne, and Berlin. Our team is comprised of world-class researchers and engineers.

Meet the Team

The Blog

Check out the Informal blog and sign up for our newsletter: