Kraks / diamond-langLinks

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

Alternatives and similar repositories for diamond-lang

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

Sorting: