Topic: "orbitmines"
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.
Language: TypeScript - Size: 281 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 4 - Forks: 0
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.
Language: JavaScript - Size: 7.63 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 3 - Forks: 0
orbitmines/archive
A log of OrbitMines, exposed, through time: Technical Tangents, Research and Literary Exposure
Language: Mathematica - Size: 680 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 2 - Forks: 0
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, automated program synthesizers, ..., (programming) languages.
Size: 229 KB - Last synced at: about 2 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0
orbitmines/bot
Automated logistics: Platform interoperability.
Language: Python - Size: 17.6 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 1 - Forks: 0