Agda (programming language)

Agda - langage de programmation. Ce langage de programmation est le 248e le plus populaire dans le classement mondial Wikipédia de langages de programmation et le 212e le plus populaire langages de programmation sur Wikipédia en anglais. L'article "Agda (programming language)" sur Wikipédia en anglais a 33.5 points pour la qualité (au 1 août 2024). L'article contient 12 références et 13 sections.

Cet article a la meilleure qualité sur Wikipédia en chinois. Cependant, la version linguistique la plus populaire de cet article est la langue anglais.

En juillet 2024 l'article "Agda (programming language)" a été édité par 2 auteurs sur Wikipédia en anglais et écrit par 2 auteurs dans toutes les langues.

Depuis la création de l'article "Agda (programming language)", son contenu a été rédigé par 92 utilisateurs enregistrés de Wikipédia en anglais et édité par 143 utilisateurs Wikipédia enregistrés dans toutes les langues.

Agda est à la 212^e place du classement local des langages de programmation sur Wikipédia en anglais et à la 248^e place dans le classement mondial des langages de programmation dans tout le temps.

L'article est cité 130 fois dans Wikipédia en anglais et cité 516 fois dans toutes les langues.

Le rang d’intérêt des auteurs le plus élevé depuis 2001:

• Local (anglais): n° 17235 en juillet 2014
• Mondial: n° 52241 en juillet 2014

Le classement de popularité le plus élevé depuis 2008:

• Local (anglais): n° 176269 en août 2021
• Mondial: n° 283183 en décembre 2014

Il existe 9 versions linguistiques pour cet article dans la base de données WikiRank (sur les 55 éditions linguistiques Wikipédia considérées).

L'évaluation de la qualité et de la popularité est basée sur les dumps Wikipédia du 1 août 2024 (y compris l'historique des révisions et les pages vues des années précédentes).

Le tableau ci-dessous présente les versions linguistiques de l'article de la plus haute qualité.

#	Langue	Niveau de qualité	Score de qualité
1	chinois (zh) Agda		33.5319
2	anglais (en) Agda (programming language)		33.504
3	ukrainien (uk) Agda		22.8247
4	coréen (ko) Agda		21.5288
5	persan (fa) آگدا (زبان برنامه‌نویسی)		13.9802
6	néerlandais (nl) Agda		10.6991
7	grec (el) Agda		9.7534
8	japonais (ja) Agda		6.2499
9	russe (ru) Agda		4.1473

Plus...

Le tableau suivant présente les versions linguistiques les plus populaires de l'article.

Les versions linguistiques les plus populaires de l'article "Agda (programming language)" dans tout le temps

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Agda (programming language)		549 465
2	russe (ru) Agda		47 578
3	japonais (ja) Agda		24 244
4	chinois (zh) Agda		16 048
5	grec (el) Agda		2 952
6	néerlandais (nl) Agda		1 396
7	coréen (ko) Agda		964
8	ukrainien (uk) Agda		728
9	persan (fa) آگدا (زبان برنامه‌نویسی)		294

Plus...

Le tableau suivant présente les versions linguistiques de l'article le plus populaire au cours du mois dernier.

Les versions linguistiques les plus populaires de l'article "Agda (programming language)" en juillet 2024

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Agda (programming language)		3 058
2	chinois (zh) Agda		731
3	russe (ru) Agda		210
4	japonais (ja) Agda		155
5	coréen (ko) Agda		27
6	néerlandais (nl) Agda		16
7	ukrainien (uk) Agda		15
8	grec (el) Agda		14
9	persan (fa) آگدا (زبان برنامه‌نویسی)		11

Plus...

Le tableau suivant présente les versions linguistiques de l'article présentant le plus grand intérêt des auteurs.

Versions linguistiques de l'article "Agda (programming language)" présentant le plus grand intérêt des auteurs. Seuls les utilisateurs enregistrés de Wikipédia ont été comptés.

#	Langue	Prox de IA	IA relatif
1	anglais (en) Agda (programming language)		92
2	japonais (ja) Agda		16
3	russe (ru) Agda		10
4	néerlandais (nl) Agda		7
5	chinois (zh) Agda		7
6	grec (el) Agda		3
7	coréen (ko) Agda		3
8	ukrainien (uk) Agda		3
9	persan (fa) آگدا (زبان برنامه‌نویسی)		2

Plus...

Le tableau suivant montre les versions linguistiques de l'article ayant suscité le plus grand intérêt des auteurs au cours du mois dernier.

Versions linguistiques de l'article "Agda (programming language)" présentant le plus grand intérêt des auteurs en juillet 2024

#	Langue	Prox de IA	IA relatif
1	anglais (en) Agda (programming language)		2
2	grec (el) Agda		0
3	persan (fa) آگدا (زبان برنامه‌نویسی)		0
4	japonais (ja) Agda		0
5	coréen (ko) Agda		0
6	néerlandais (nl) Agda		0
7	russe (ru) Agda		0
8	ukrainien (uk) Agda		0
9	chinois (zh) Agda		0

Plus...

Le tableau suivant présente les versions linguistiques de l'article avec le plus grand nombre de citations.

Versions linguistiques de l'article "Agda (programming language)" avec l'indice de citation (IC) le plus élevé

#	Langue	Prix ​​de IC	IC relatif
1	chinois (zh) Agda		187
2	ukrainien (uk) Agda		164
3	anglais (en) Agda (programming language)		130
4	russe (ru) Agda		14
5	japonais (ja) Agda		8
6	grec (el) Agda		7
7	coréen (ko) Agda		4
8	néerlandais (nl) Agda		2
9	persan (fa) آگدا (زبان برنامه‌نویسی)		0

Plus...

#	Langue	Valeur
el	grec Agda
en	anglais Agda (programming language)
fa	persan آگدا (زبان برنامه‌نویسی)
ja	japonais Agda
ko	coréen Agda
nl	néerlandais Agda
ru	russe Agda
uk	ukrainien Agda
zh	chinois Agda

Meilleur rang

anglais: n° 176269 08.2021

Mondial: n° 283183 12.2014

Meilleur rang

anglais: n° 17235 07.2014

Mondial: n° 52241 07.2014

Au 8 juillet 2025 sur Wikipédia multilingue, les internautes lisent le plus souvent des articles sur les thèmes suivants: Diogo Jota, João Pedro, Ozzy Osbourne, Laura Siegemund, Aryna Sabalenka, Julian McMahon, Jurassic World : Renaissance, Coupe du monde des clubs de la FIFA 2025, Amanda Anisimova, F1.

Sur Wikipédia en anglais, les articles les plus populaires ce jour-là étaient: Superman (2025 film), João Pedro (footballer, born 2001), Untitled Jurassic World film, Aryna Sabalenka, Laura Siegemund, Ozzy Osbourne, Amanda Anisimova, Jeffrey Epstein, Cameron Norrie, Deaths in 2025.

Le projet est destiné à l'évaluation relative automatique des articles dans les différentes versions linguistiques de Wikipédia. À l'heure actuelle, le service permet de comparer plus de 44 millions d'articles Wikipédia dans 55 langues. Les scores de qualité des articles sont basés sur les dumps Wikipédia de août 2024. Lors du calcul de la popularité actuelle et de l’intérêt des auteurs pour les articles, les données de juillet 2024 Pour les valeurs historiques de popularité et d’intérêt des auteurs, WikiRank a utilisé des données de 2001 à 2023... Plus d'information