Remote EDTS API and CLI
rEDTS, or Remote EDTS, is a system for running an EDTS instance on a remote server. This has the advantage of only requiring one database for many users, and outsourcing CPU time to an external system.
This is mostly a personal project, very minimal help will be given. Use at your own discretion.
The server runs EDTS in the background with a simple Node.js HTTP API wrapper. It is deployed using the provided Docker Images.
The client CLI forwards your CLI args to the remote server and proxies the response back to your terminal, as if you were running EDTS locally. You can find binaries as GitHub Actions Artifacts.
