mlir-playground
mlir-playground copied to clipboard
[collaboration] push button sharing
Maybe serialize the app state as a json file, push it to user's gist (assuming user logged in), and load the state from the recipient browser.