(someone from the marimo team here)

Happy to hear it! Got a link to your widget? I am assuming it's an anywidget?