The Ray Programming Language & its IDE: The Ether ; version control system, database, theorem prover, and rendering engine.
-
Updated
Mar 10, 2026 - TypeScript
#
orbitmines
Here are 5 public repositories matching this topic...
https://orbitmines.com - Once a Minecraft server, now the building of a world where engineering, science, education are all an exploratory videogame.
-
Updated
Mar 29, 2026 - TypeScript
A log of OrbitMines, exposed, through time: Technical Tangents, Research and Literary Exposure
-
Updated
Mar 28, 2026 - Wolfram Language
A library for bommunication between languages. The indexing, analysis ..., comparison of existing abstract models of computation, mathematics, calculi, theorem-provers, compilers, proof assistants, automated program synthesizers, ..., (programming) languages.
-
Updated
Jan 2, 2026
Automated logistics: Platform interoperability.
-
Updated
Jun 5, 2024 - Python
Improve this page
Add a description, image, and links to the orbitmines topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the orbitmines topic, visit your repo's landing page and select "manage topics."