Pinned Loading

1. orbitmines/ray orbitmines/ray Public

   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.

   JavaScript 3

2. orbitmines/orbitmines.com orbitmines/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. orbitmines/archive orbitmines/archive Public

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

   Mathematica 2

4. orbitmines/library orbitmines/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,…

   1