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 designs, implements, and formally verifies distributed systems and protocols, including blockchain systems like Tendermint and Cosmos.

Organizations (of Humans)

Informal develops tools to simplify the operation of organizations by leveraging open-source development, plaintext data, and distributed version control systems.

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: