A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic
APACHE-2.0 License
Statistics for this project are still being loaded, please check back later.
A collection of awesome TypeScript resources for client-side and server-side development
mirror of https://gitlab.com/minds/front
Semantics-driven serverless microservice DevOps framework and infrastructure
Node.js Express Startup Seed with ES6, Typescript, SCSS, EJS, Nodemon, Bootstrap 4, TSLint, TypeDoc