Golden
Rholang

Rholang

Rholang is a behaviorally typed, concurrent programming language formally modeled by Rho-calculus.