Kraks / diamond-lang

A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.
44Updated 2 weeks ago

Alternatives and similar repositories for diamond-lang:

Users that are interested in diamond-lang are comparing it to the libraries listed below