Interop with online programming

[Nikolaj Bjorner (NikolajBjorner)]

Do any of the online programming environments allow using native / wasm bindings to their host languages?

• .Net: Blazor and https://fsharp.org/use/browser/
• Python: pyodide - see add meta.yaml for z3solver to package directory pyodide/pyodide#2892 for attempt to build wheel for micropip
• JS - on top of wasm
• Docker service - https://glot.io/ (using tokens)