Informal builds and maintains open source products at the intersection of distributed systems and formal-verification. We primarily build distirbuted systems software in Rust, using TLA+ as a specification language. You can find our work on Github.
Themis Contract is a tool for drafting and signing legal contracts from the command line. Simplify and expedite your contract management process.