dafny-lang/dafny

GitHub

Dafny is a verification-aware programming language

C#3,619 stars334 forks

programming-language verification

Momentum

dafny-lang/dafny has 3,619 GitHub stars.

It currently ranks #12754 daily, #13769 weekly, #11505 monthly by momentum on Trending Repos; its best-ever rank is #5618.

Rankings

PeriodRankScore

Daily

#127540.0

Weekly

#137690.0

Monthly

#115050.0

How scoring works

Engagement

Total stars

Daily new stars

Embeds

Best rank #5618

Format

Markdown

[![dafny-lang/dafny badge](https://trending-repos.com/badge/dafny-lang/dafny.svg?v=3)](https://trending-repos.com/repositories/dafny-lang/dafny?utm_source=github&utm_medium=badge)

dafny-lang/dafny

Momentum

Rankings

Engagement

Similar trending repositories

Embeds

dafny-lang/dafny

Momentum

Rankings

Engagement

Similar trending repositories

Embeds