We are an early stage startup with a mission to enable people build and control distributed software. We believe we can achieve this goal by leveraing the advances in the field of programming languages, formal methods, and distributed algorithms and systems.