Become a sponsor to OrbitMines
Once a Minecraft server, now the building of a world where engineering, science, education are all an exploratory videogame.
- A Universal Language
- All Ongoing OrbitMines projects
- OrbitMines Community Discord for additional information.
Meet the team
-
Fadi Shawki FadiShawkiSome Random Explorer
Featured work
-
orbitmines/orbitmines.com
https://orbitmines.com - Once a Minecraft server, now the building of a world where engineering, science, education are all an exploratory videogame.
TypeScript 4 -
orbitmines/archive
A log of OrbitMines, exposed, through time: Technical Tangents, Research and Literary Exposure
Mathematica 2 -
orbitmines/ray
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.
JavaScript 3 -
orbitmines/library
A library for Communication between Languages. The indexing, analysis ..., comparison of existing abstract models of computation, mathematics, calculi, theorem-provers, compilers, proof assistants,…