tweag/linear-types

Drafts, notes and resources for adding linear typing to GHC.

by Tweag by Modus Create TeX 4 forks Created Sept 2016 View on GitHub

Stars
79
1% of tweag's stars
Rank
#584,018
of 848,034 repos, top 69%
In TeX
#1,796
of 2,724 repos, top 66%

Among 848,034 repos

Compare with

63–100 stars: 216,513 repos, including linear-types

Stars along the bottom, and repos in each band on a log scale

Quick stats

Next rank
+1 star to reach #578,099
Next milestone
+16 stars to reach the top 60%
Yearly average
8 stars a year since Sept 2016

Stars counted Recounted daily Next count around