Mathics VS urbit

There's Mathics, a subset of the language implemented in Python, but unfortunately after the main author of that was hired by Wolfram, the project seems to have basically died. Still fun for what it is.

https://mathics.org/

You could try to write more Mathematica functions into SymPy. In other words, contribute to the Mathics project (https://mathics.org/)

I'm one of the authors that spent years building SageMath; indeed, the goal of our project is to create a viable free open source alternative to Mathematica (etc.).

There's an interesting discussion of actual attempts to create open source implementations of the Wolfram Language in Wikipedia under "Implementations" (see https://en.wikipedia.org/wiki/Wolfram_Language). The first attempt was 30 years ago by Fateman and he received an official cease-and-desist from Wolfram for his attempts; he did a lot of work on open source Maxima as a result.

I think right now https://mathics.org/ is the most complete open source Wolfram Language implementation, and it uses Sympy extensively under the hood. Mathics was dead for a while when the main author got hired by Wolfram (see https://github.com/mathics/Mathics/graphs/contributors), but during the last year there has been an enormous amount of new work on Mathics.

Urbit

GIT is decentralized by its nature. GitHub is used to centralize the source of truth for all developers which create consensus on production code for example. Source of truth can be defined as the code that is currently running in production on arbitrary machines. So one can define by the protocol that production code is actually an Urbit ship and the SVM updates the ship in place. Merges, pull requests, etc is governed with a DAO.

Ethereum. The broadly useful, turing-complete version of Bitcoin. It has a community of developers building it and building on it, and as it grows and layer-2 scaling solutions — secondary blockchains that "settle" to Ethereum, making mild concessions on the hardness axis in exchange for a huge speed increase — the appeal and power of decentralized "smart contracts" will become more and more obvious. Just for one example, Urbit uses a set of Ethereum smart contracts to manage their decentralized PKI (public key infrastructure) system.

?., which reverses q and r.

Hoon code is rather interesting to look at, especially the rune vs keyword syntax (random file: https://github.com/urbit/urbit/blob/master/pkg/arvo/lib/aqua...) but I don't think it's worth the effort.

Urbit is an OS that runs as a smart contract on Ethereum: https://urbit.org/