Skip to content
@orbitmines

OrbitMines

Once a Minecraft server, now the building of a world where engineering, science, education are all an exploratory videogame.
README.md 
git clone git@github.com:orbitmines/orbitmines.com.git # Website to the old internet
git clone git@github.com:orbitmines/ray.git # Universal Language repo
git clone git@github.com:orbitmines/library.git # A library for communication between languages
git clone git@github.com:orbitmines/archive.git # Archive of tangents & history

Popular repositories Loading

  1. ray ray Public

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

    JavaScript 5 3

  2. orbitmines.com orbitmines.com Public

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

    TypeScript 4

  3. archive archive Public

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

    Mathematica 2 1

  4. library library Public

    A library for bommunication between languages. The indexing, analysis ..., comparison of existing abstract models of computation, mathematics, calculi, theorem-provers, compilers, proof assistants,…

    2 1

  5. .github .github Public

    GitHub config files.

    1

  6. bot bot Public

    Automated logistics: Platform interoperability.

    Python 1 1

Repositories

Showing 7 of 7 repositories
  • ray Public

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

    orbitmines/ray’s past year of commit activity
    JavaScript 5 MIT 3 0 0 Updated Nov 2, 2025
  • archive Public

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

    orbitmines/archive’s past year of commit activity
    Mathematica 2 1 0 0 Updated Oct 19, 2025
  • orbitmines.com Public

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

    orbitmines/orbitmines.com’s past year of commit activity
    TypeScript 4 0 7 0 Updated Sep 30, 2025
  • library Public

    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.

    orbitmines/library’s past year of commit activity
    2 MIT 1 0 0 Updated Sep 28, 2025
  • minecraft-archive Public

    Archive of OrbitMines' Minecraft Server (2013-2019)

    orbitmines/minecraft-archive’s past year of commit activity
    Java 0 MIT 1 0 0 Updated May 8, 2025
  • .github Public

    GitHub config files.

    orbitmines/.github’s past year of commit activity
    1 0 0 0 Updated Jan 4, 2025
  • bot Public

    Automated logistics: Platform interoperability.

    orbitmines/bot’s past year of commit activity
    Python 1 MIT 1 0 0 Updated Jun 5, 2024

Top languages

Loading…

Most used topics

Loading…