git clone git@github.com:orbitmines/ray.git # The Ray Programming Language & The Ether
git clone git@github.com:orbitmines/archive.git # Publich research archive
git clone git@github.com:orbitmines/orbitmines.com.git # Website to the internet
OrbitMines
Once a Minecraft server, now the building of a world where engineering, science, education are all an exploratory videogame.
Pinned Loading
Repositories
Showing 8 of 8 repositories
- archive Public
A log of OrbitMines, exposed, through time: Technical Tangents, Research and Literary Exposure
orbitmines/archive’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 - ray Public
The Ray Programming Language & its IDE: The Ether ; version control system, database, theorem prover, and rendering engine.
orbitmines/ray’s past year of commit activity - 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
Top languages
Loading…
Most used topics
Loading…