input-output-hk/high-assurance-legacy

Legacy code connected to the high-assurance implementation of the Ouroboros protocol family

Archived by Input Output Haskell MIT licence 15 forks Created Apr 2017 View on GitHub

Stars
79
1% of input-output-hk's stars
Rank
#585,982
of 851,992 repos, top 69%
In Haskell
#1,347
of 2,043 repos, top 66%

Among 851,992 repos

Compare with

63–100 stars: 217,630 repos, including high-assurance-legacy

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

Quick stats

Next rank
+1 star to reach #580,038
Next milestone
+15 stars to reach the top 60%
Yearly average
8 stars a year since Apr 2017

Stars counted Recounted daily Next count around