Have you seen YoWasp?

[mithro]

YoWasp are web-assembly compiled versions of the Yosys (and related projects) - https://yowasp.org/

Seems like it might be synergistic with your work?

• https://github.com/YoWASP
• https://www.npmjs.com/package/@yowasp/yosys
• https://pypi.org/project/yowasp-yosys/

[tilk]

Possibly moving to WebAssembly compiled Yosys would allow more flexibility and reduce server dependency. Unfortunately, for my purposes I also need a linter (I currently use Verilator for that).

[ricardojlrufino]

I implemented a online converter using YoWASP
https://ricardojlrufino.github.io/yosys-json-online-converter/
But for Yosys JSON...
perhaps it will serve as a basis for implementing an online converter for DigitalJS