Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

Cosmos

< >

Cosmos is a programming language created in 2022.

#3786on PLDB 3Years Old
Download source code:
git clone https://github.com/mcsoto/cosmos
Source Code

Cosmos 0.2 - now with Pure Arithmetics. A new logic programming language.


Example from the web:
//note that the there is no 'return' in the definition //instead, the parameter y is explicit //this is typically the 'output' parameter rel double(x, y) y = x*2 double(4,x) //x is 8

- Build the next great programming language Add Add Prompt Issues About Search Keywords Livestreams Labs Resources Acknowledgements

Built with Scroll v178.2.1