Request? Export executable or library function to compile to file

Hello, thank you for the project. It would be extremely useful to have the compiler as an executable/exported library function so we could compile js to coq files. Currently, it seems all conversions are accessible through the web browser. I’ve been trying to tinker with the project locally but I havent been successful. Maybe with a little guidance, i could open a PR? Thank you!