You must be logged in to sponsor orbitmines
Become a sponsor toOrbitMines
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 ShawkiFadiShawkiSome 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,…