Consensys/eth2.0-dafny - GitHub Explorer | GitHub Explorer | Trending

Stars

80

Forks

15

Watchers

80

Open Issues

6

Repository Health Score

❤️

40/100

Poor

Overall repository health assessment

Score Breakdown

Activity

Slow updates - updated within 3 months

10/30

33%

Recent Commits

Update README.md

Joanne Fuller•4 years ago

4e41de2View on GitHub

Update videos.md

Joanne Fuller•4 years ago

be4292cView on GitHub

Update videos.md

Joanne Fuller•4 years ago

00f6823View on GitHub

Add video section to readme.

Joanne Fuller•4 years ago

867f2adView on GitHub

Add how to use specs section.

Franck Cassez•4 years ago

c995711View on GitHub

Use stats-master.

Franck Cassez•4 years ago

c833fbcView on GitHub

Update merkleise-notes wiki

Joanne Fuller•4 years ago

0d95b07View on GitHub

Add stats-master.md to wiki

Joanne Fuller•4 years ago

e6d2288View on GitHub

Make link to call graph via raw content.

Franck Cassez•4 years ago

82ffaedView on GitHub

Update badges.

Franck Cassez•4 years ago

2d753ecView on GitHub

Improve README.

Franck Cassez•4 years ago

175395aView on GitHub

Add top-level call graph.

Franck Cassez•4 years ago

b0f10aaView on GitHub

Add stats in wiki.

Franck Cassez•4 years ago

fb713fdView on GitHub

Add stats in wiki.

Franck Cassez•4 years ago

b4da4fcView on GitHub

Add link to Dafny.

Franck Cassez•4 years ago

d0c18b4View on GitHub

View all commits

GitHub Explorer

eth2.0-dafny

Score Breakdown

Issues Activity: Last 6 months

Top Labels

Hottest Issues