Idris (programming language)

en

WikiRank.net
ver. 1.6

Idris (programming language)

Quality:

Idris - purely functional programming language. This programming language is the 312th most popular in the global Wikipedia ranking of programming languages and the 268th most popular programming language in English Wikipedia. Article "Idris (programming language)" in English Wikipedia has 31.5 points for quality (as of July 1, 2025). The article contains 15 references and 10 sections. The article also contains quality flaw template, which reduce quality score.

This article has the best quality in Catalan Wikipedia. However, this article is the most popular in English version.

Achievements in all the time:
English Wikipedia:
Global Wikipedia:
The 312th most popular in programming languages.

Since the creation of article "Idris (programming language)", its content was written by 55 registered users of English Wikipedia and edited by 84 registered Wikipedia users in all languages.

Idris is on the 268th place in local ranking of programming languages in English Wikipedia and on the 312th place in global ranking of programming languages in all the time.

The article is cited 110 times in English Wikipedia and cited 388 times in all languages.

The highest Authors Interest rank from 2001:

  • Local (English): #34882 in November 2014
  • Global: #64824 in November 2014

The highest popularity rank from 2008:

  • Local (English): #217276 in April 2017
  • Global: #326474 in April 2017

There are 9 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, 2025 (including revision history and pageviews for previous years).

The table below shows the language versions of the article with the highest quality.

Languages with the highest quality

#LanguageQuality gradeQuality score
1Catalan (ca)
Idris (llenguatge de programació)
31.8319
2English (en)
Idris (programming language)
31.5052
3Chinese (zh)
Idris
28.4323
4Persian (fa)
ادریس (زبان برنامه‌نویسی)
25.7739
5Russian (ru)
Idris (язык программирования)
22.7085
6Romanian (ro)
Idris (limbaj de programare)
21.0328
7Japanese (ja)
Idris (プログラミング言語)
20.5165
8Dutch (nl)
Idris (programmeertaal)
7.9346
9Czech (cs)
Idris (programovací jazyk)
0.2407
More...

The following table shows the most popular language versions of the article.

Most popular in all the time

The most popular language versions of the article "Idris (programming language)" in all the time
#LanguagePopularity awardRelative popularity
1English (en)
Idris (programming language)
393 111
2Russian (ru)
Idris (язык программирования)
41 416
3Chinese (zh)
Idris
17 789
4Catalan (ca)
Idris (llenguatge de programació)
2 251
5Japanese (ja)
Idris (プログラミング言語)
1 670
6Persian (fa)
ادریس (زبان برنامه‌نویسی)
639
7Romanian (ro)
Idris (limbaj de programare)
386
8Czech (cs)
Idris (programovací jazyk)
359
9Dutch (nl)
Idris (programmeertaal)
138
More...

The following table shows the language versions of the article with the highest popularity in the last month.

Most popular in June 2025

The most popular language versions of the article "Idris (programming language)" in June 2025
#LanguagePopularity awardRelative popularity
1English (en)
Idris (programming language)
1 951
2Russian (ru)
Idris (язык программирования)
189
3Chinese (zh)
Idris
109
4Japanese (ja)
Idris (プログラミング言語)
93
5Persian (fa)
ادریس (زبان برنامه‌نویسی)
19
6Czech (cs)
Idris (programovací jazyk)
10
7Catalan (ca)
Idris (llenguatge de programació)
8
8Romanian (ro)
Idris (limbaj de programare)
7
9Dutch (nl)
Idris (programmeertaal)
6
More...

The following table shows the language versions of the article with the highest Authors’ Interest.

The highest AI

Language versions of the article "Idris (programming language)" with the highest Authors Interest (number of authors). Only registered Wikipedia users were taken into account.
#LanguageAI awardRelative AI
1English (en)
Idris (programming language)
55
2Russian (ru)
Idris (язык программирования)
9
3Catalan (ca)
Idris (llenguatge de programació)
4
4Romanian (ro)
Idris (limbaj de programare)
4
5Chinese (zh)
Idris
4
6Persian (fa)
ادریس (زبان برنامه‌نویسی)
3
7Japanese (ja)
Idris (プログラミング言語)
2
8Dutch (nl)
Idris (programmeertaal)
2
9Czech (cs)
Idris (programovací jazyk)
1
More...

The following table shows the language versions of the article with the highest Authors’ Interest in the last month.

The highest AI in June 2025

Language versions of the article "Idris (programming language)" with the highest AI in June 2025
#LanguageAI awardRelative AI
1Catalan (ca)
Idris (llenguatge de programació)
0
2Czech (cs)
Idris (programovací jazyk)
0
3English (en)
Idris (programming language)
0
4Persian (fa)
ادریس (زبان برنامه‌نویسی)
0
5Japanese (ja)
Idris (プログラミング言語)
0
6Dutch (nl)
Idris (programmeertaal)
0
7Romanian (ro)
Idris (limbaj de programare)
0
8Russian (ru)
Idris (язык программирования)
0
9Chinese (zh)
Idris
0
More...

The following table shows the language versions of the article with the highest number of citations.

The highest CI

Language versions of the article "Idris (programming language)" with the highest Citation Index (CI)
#LanguageCI awardRelative CI
1Chinese (zh)
Idris
199
2English (en)
Idris (programming language)
110
3Catalan (ca)
Idris (llenguatge de programació)
54
4Russian (ru)
Idris (язык программирования)
12
5Czech (cs)
Idris (programovací jazyk)
5
6Romanian (ro)
Idris (limbaj de programare)
4
7Persian (fa)
ادریس (زبان برنامه‌نویسی)
2
8Japanese (ja)
Idris (プログラミング言語)
1
9Dutch (nl)
Idris (programmeertaal)
1
More...

Scores

Estimated value for Wikipedia:
English:
Global:
Popularity in June 2025:
English:
Global:
Popularity in all years:
English:
Global:
Authors in June 2025:
English:
Global:
Registered authors in all years:
English:
Global:
Citations:
English:
Global:

Quality measures

Interwikis

#LanguageValue
caCatalan
Idris (llenguatge de programació)
csCzech
Idris (programovací jazyk)
enEnglish
Idris (programming language)
faPersian
ادریس (زبان برنامه‌نویسی)
jaJapanese
Idris (プログラミング言語)
nlDutch
Idris (programmeertaal)
roRomanian
Idris (limbaj de programare)
ruRussian
Idris (язык программирования)
zhChinese
Idris

Popularity rank trends

Best Rank English:
#217276
04.2017
Global:
#326474
04.2017

AI rank trends

Best Rank English:
#34882
11.2014
Global:
#64824
11.2014

Languages comparison

Important global interconnections (July 2024 – June 2025)

Wikipedia readers most often find their way to information on Idris from Wikipedia articles about Rust, Dependent type, Agda, Idris and Haskell. Whereas reading the article about Idris people most often go to Wikipedia articles on Agda, Substructural type system, Proof assistant, Dependent type and Total functional programming.

Cumulative results of quality and popularity of the Wikipedia article

List of Wikipedia articles in different languages (starting with the most popular):

zh: Idris

News from 12 August 2025

On 12 August 2025 in multilingual Wikipedia, Internet users most often read articles on the following topics: Cristiano Ronaldo, Wednesday, Georgina Rodríguez, ChatGPT, Weapons, Jenna Ortega, deaths in 2025, Taylor Swift, Miguel Uribe Turbay, 2025–26 UEFA Champions League.

In English Wikipedia the most popular articles on that day were: Weapons (2025 film), Danielle Spencer (American actress), Cristiano Ronaldo, Deaths in 2025, Taylor Swift, Wednesday (TV series), Superman (2025 film), Georgina Rodríguez, Coolie (2025 film), The Fantastic Four: First Steps.

About WikiRank

The WikiRank project is intended for automatic relative evaluation of the articles in the various language versions of Wikipedia. At the moment the service allows to compare over 44 million Wikipedia articles in 55 languages. Quality scores of articles are based on Wikipedia dumps from July, 2025. When calculating current popularity and AI of articles data from June 2025 was taken into account. For historical values of popularity and AI WikiRank used data from 2001 to 2025... More information