Tlon
Real Estate·Website
Urbit is a clean-slate reimplementation of the whole system software stack. On the bottom it's a replacement of the lambda calculus, in the middle it's a new functional programming language, on top it's a purely functional network operating system inwhich address space is property.