GitHub topics: orbitmines
orbitmines/archive
A log of OrbitMines, exposed, through time: Technical Tangents, Research and Literary Exposure
Language: Mathematica - Size: 679 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 2 - Forks: 0
orbitmines/library
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.
Size: 229 KB - Last synced at: 26 days ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0
orbitmines/ray
A Universal Language: One Ray to rule them all, One Ray to find them, One Ray to bring them all, and in the darkness bind them.
Language: JavaScript - Size: 7.61 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 3 - Forks: 0
orbitmines/bot
Automated logistics: Platform interoperability.
Language: Python - Size: 17.6 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 1 - Forks: 0
orbitmines/orbitmines.com
A public repository for https://orbitmines.com. The hub for OrbitMines' (research) projects.
Language: TypeScript - Size: 275 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 4 - Forks: 0