It would be interesting to build this with TeaVM to allow high-quality typesetting for online papers and interactive web content. TeaVM transpiles Java to Java

It would be interesting to build this with TeaVM to allow high-quality typesetting for online papers and interactive web content. TeaVM transpiles Java to JavaScript. I used it to convert a Java interactive fiction project to run natively in the browser: https://frequal.com/java/RestoringA19YearOldGameWithTeaVm.html https://frequal.com/java/RestoringA19YearOldGameWithTeaVm.ht... More background on TeaVM: https://teavm.org/ https://teavm.org/ https://blogs.oracle.com/javamagazine/post/java-in-the-browser-with-teavm https://blogs.oracle.com/javamagazine/post/java-in-the-brows...