GaloisInc/ivory

The Ivory EDSL

by Galois, Inc. Haskell BSD-3-Clause licence 27 forks Created Apr 2013 View on GitHub

Stars
417
4% of GaloisInc's stars
Rank
#147,720
of 852,045 repos, top 18%
In Haskell
#277
of 2,043 repos, top 14%

Among 852,045 repos

Compare with

400–630 stars: 51,556 repos, including ivory

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

Quick stats

Next rank
+1 star to reach #147,421
Next milestone
+350 stars to reach the top 10%
Popular
One of 490,720 repos with 100+ stars
Yearly average
31 stars a year since Apr 2013

Stars counted Recounted daily Next count around