MahiroHirakawa

Independent. Local-first developer tools, and a verification substrate for effects that have to be undoable. Rust. Limits written down before features. https://github.com/TraceFold/tracefold