https://orbitmines.com - Once a Minecraft server, now the building of a world where engineering, science, education are all an exploratory videogame.
-
Updated
Oct 27, 2024 - TypeScript
https://orbitmines.com - Once a Minecraft server, now the building of a world where engineering, science, education are all an exploratory videogame.
A Universal Language: One Ray to rule them all, One Ray to find them, One Ray to bring them all, and in the darkness bind them.
A log of OrbitMines, exposed, through time: Technical Tangents, Research and Literary Exposure
Automated logistics: Platform interoperability.
A library for Intercommunication between Languages. The indexing, analysis ..., comparison of existing abstract models of computation, mathematics, calculi, theorem-provers, compilers, proof assistants, automated program synthesizers, ..., (programming) languages.
Add a description, image, and links to the orbitmines topic page so that developers can more easily learn about it.
To associate your repository with the orbitmines topic, visit your repo's landing page and select "manage topics."