Kubernetes based Cloud Development Environments for Enterprise Teams
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
🛠 All-in-one web-based IDE specialized for machine learning and data science.
A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic