Topic · linear-types

linear-types

Tracked open-source repos tagged linear-types, sorted by stars.

Repos

1

Total stars

1,573

Avg. stars

1,573

Share

0.00%

Topics that frequently appear alongside linear-types on the same repo.

Recent risers

Repos created in the last 90 days, tagged linear-types.

No new repos tagged with this topic in the last 90 days.

#1
austral ↗@australOCaml
Systems language with linear types and capability-based security.
★ 1,573+1Star change over the last 7 days

← Back to topics