ditto version 0.12 Github Repository [ditto:searchbar] FAQ How do I use ditto? How does it work? Why use ditto? How do I run ditto locally? How I write equations in ditto? Projects that use ditto playground direnv rover zeromq-ros