Repositories list

• ray

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

  gameprogramming-languagecomputer-science+ 10researchcompilerversion-controliderayrayshypergraphs+ 3

  JavaScript

  •

  MIT License

  •3•5•0•0•Updated Jan 5, 2026Jan 5, 2026

• archive

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

  researchorbitmines

  Mathematica

  •1•2•0•0•Updated Jan 3, 2026Jan 3, 2026

• 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.

  researchorbitmines

  1•2•0•0•Updated Jan 2, 2026Jan 2, 2026

• orbitmines.com

  Public

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

  gameresearchorbitmines

  TypeScript

  •0•4•0•0•Updated Dec 29, 2025Dec 29, 2025

• .github

  Public
  GitHub config files.

  0•1•0•0•Updated Dec 15, 2025Dec 15, 2025

• minecraft-archive

  Public
  Archive of OrbitMines' Minecraft Server (2013-2019)

  Java

  •

  MIT License

  •1•0•0•0•Updated May 8, 2025May 8, 2025

• bot

  Public
  Automated logistics: Platform interoperability.

  botinteroperabilitylogistics+ 1orbitmines

  Python

  •

  MIT License

  •1•1•0•0•Updated Jun 5, 2024Jun 5, 2024