At the time that I started this project, I chose Flask because it was stable and easy to build a web interface. Now I see that the Flask API is being re-implemented as quart in asyncio. One advantage of this would be to support things like notifications as a compilation is running (we currently poll, but we could use web sockets if the server was asynchronous). I'm most interested in stability, and the documentation for Quart appears to be incomplete as of this time. We also have dependencies on things like flask-mail and flask-sqlalchemy, and there needs to be support for some replacement under Quart.
At the time that I started this project, I chose Flask because it was stable and easy to build a web interface. Now I see that the Flask API is being re-implemented as quart in asyncio. One advantage of this would be to support things like notifications as a compilation is running (we currently poll, but we could use web sockets if the server was asynchronous). I'm most interested in stability, and the documentation for Quart appears to be incomplete as of this time. We also have dependencies on things like flask-mail and flask-sqlalchemy, and there needs to be support for some replacement under Quart.