the MiKTeX source code
Why do you think that https://github.com/ChromeDevTools/devtools-frontend is a good alternative to miktex
the MiKTeX source code
Why do you think that https://github.com/ChromeDevTools/devtools-frontend is a good alternative to miktex