Skip to content
/ ray Public

A Universal Language: A programming language, theorem prover, version control systen, database and rendering engine. And its respective IDE: The Ether.

License

Notifications You must be signed in to change notification settings

orbitmines/ray

Repository files navigation

Note

This is still a work in progress. Relevant progress is documented in this repo and here


Ray: A Universal Language

header

OrbitMines Discord

What is this?

This thing is, in essence, a programming language (Ray), an IDE (Ether) and a conceptual framework to think about programs. Though to me, most importantly, it is here as infrastructure. Infrastructure for the design and implementation of a different category of (programming) interfaces.

It handles surrounding context, structure and pattern-matching, defines control-flow and dynamics and acts as a programming language, theorem prover, version control system, database and rendering engine.



Local setup

There are several ways of using this programming language.


The .ray.txt Programming Language

Though this project will step away from the limitations of a text file, all programming infrastructure relies on it. A move away from it, will require additional infrastructure (like the IDE and version control). Even if all that is in place, it would still be good if we're able to use existing infrastructure. So ideally we'd like a way to translate the language into a text-based format. Which is where .ray.txt comes in.

TODO

About

A Universal Language: A programming language, theorem prover, version control systen, database and rendering engine. And its respective IDE: The Ether.

Topics

Resources

License

Contributing

Stars

Watchers

Forks

Releases

No releases published

Sponsor this project

  •  
  •  

Packages

No packages published