We envision an open-source ecosystem of cooperatively owned and governed distributed organizations running on reliable distributed systems.
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.
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.
Informal is headquartered in Toronto, Canada with European offices in Vienna, Lausanne, and Berlin. Our team is comprised of world-class researchers and engineers.
© 2020 Informal Systems Ltd. All rights reserved.
