Updated 10 months ago
archive
A log of OrbitMines, exposed, through time: Technical Tangents, Research and Literary Exposure
Updated 10 months ago
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.
Updated 10 months ago
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.