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 Intercommunication between Languages
git clone git@github.com:orbitmines/archive.git # Archive of tangents & history
OrbitMines
Once a Minecraft server, now the building of a world where engineering, science, education are all an exploratory videogame.
Popular repositories Loading
-
orbitmines.com
orbitmines.com Publichttps://orbitmines.com - Once a Minecraft server, now the building of a world where engineering, science, education are all an exploratory videogame.
TypeScript 4
Repositories
Showing 7 of 7 repositories
- library Public
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.
orbitmines/library’s past year of commit activity - 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