conal/talk-2014-bayhac-denotational-design

Denotational Design: from programs to meanings

by Conal Elliott TeX 0 forks Created May 2014 View on GitHub

Stars
103
5% of conal's stars
Rank
#475,179
of 852,028 repos, top 56%
In TeX
#1,431
of 2,737 repos, top 53%

Among 852,028 repos

Compare with

100–160 stars: 155,461 repos, including talk-2014-bayhac-denotational-design

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

Quick stats

Next rank
+1 star to reach #471,491
Next milestone
+16 stars to reach the top 50%
Popular
One of 490,668 repos with 100+ stars
Yearly average
8 stars a year since May 2014

Stars counted Recounted daily Next count around