granule-project / granuleLinks

A statically-typed linear functional language with graded modal types for fine-grained program reasoning
617Updated 3 weeks ago

Alternatives and similar repositories for granule

Users that are interested in granule are comparing it to the libraries listed below

Sorting: