A Universal Language: A programming language, theorem prover, version control systen, database and rendering engine. And its respective IDE: The Ether.

https://orbitmines.com - Once a Minecraft server, now the building of a world where engineering, science, education are all an exploratory videogame.

A library for Communication between Languages. The indexing, analysis ..., comparison of existing abstract models of computation, mathematics, calculi, theorem-provers, compilers, proof assistants, automated program synthesizers, ..., (programming) languages.

A log of OrbitMines, exposed, through time: Technical Tangents, Research and Literary Exposure

Automated logistics: Platform interoperability.