Quality:
Dafny - programming language. This programming language is the 762nd most popular in the global Wikipedia ranking of programming languages and the 687th most popular programming language in English Wikipedia. Article “Dafny” in English Wikipedia has 24 points for quality (as of July 1, 2026).
The article contains 9 references and 8 sections. The article also contains templates indicating quality issues, therefore its score was reduced by 2.67 points.
This article has the best quality in Estonian Wikipedia. However, this article is the most popular in English version.
Achievements in all the time:
English Wikipedia:
Global Wikipedia:
Since the creation of article “Dafny”, its content was written by 29 registered users of English Wikipedia and edited by 46 registered Wikipedia users in all languages.
Dafny is on the 687th place in local ranking of programming languages in English Wikipedia
and on the 762nd place in global ranking of programming languages in all the time.
The article is cited 223 times in English Wikipedia and cited 224 times in all languages.
The highest Authors Interest rank from 2001:
- Local (English): #78761 in July 2022
- Global: #185841 in July 2022
The highest popularity rank from 2008:
- Local (English): #670648 in March 2026
- Global: #1058727 in March 2026
There are 4 language versions for this article in the WikiRank database (of the considered 55 Wikipedia language editions).
The quality and popularity assessment was based on Wikipédia dumps from July 1, 2026 (including revision history and pageviews for previous years).
The table below shows the language versions of the article with the highest quality.
