Agda (programming language)

Agda - linguagem de programação. Esta linguagem de programação é a 241º mais popular no ranking mundial da Wikipédia de linguagens de programação e o 207º mais popular linguagens de programação na Wikipédia em inglês. O artigo “Agda (programming language)” na Wikipédia em inglês tem 36.2 pontos para qualidade (em 1º de julho de 2025). O artigo contém 12 referências e 13 seções.

Este artigo tem a melhor qualidade na Wikipédia em alemão. No entanto, este artigo é o mais popular na versão em inglês version.

Desde a criação do artigo “Agda (programming language)”, seu conteúdo foi escrito por 99 usuários cadastrados na Wikipédia em inglês e editado por 162 usuários registrados da Wikipédia em todos os idiomas.

O artigo “Agda” está em 207º lugar no ranking local de linguagens de programação na Wikipédia em inglês e está em 241º lugar no ranking global de linguagens de programação em todo o tempo.

O artigo é citado 134 vezes na Wikipédia em inglês e citado 550 vezes em todos os idiomas.

A classificação mais alta de interesse dos autores em 2001:

• Local (inglês): Nº 17239 em julho de 2014
• Global: Nº 43068 em maio de 2025

A classificação de popularidade mais alta de 2008:

• Local (inglês): Nº 176668 em agosto de 2021
• Global: Nº 282916 em dezembro de 2014

Existem versões deste artigo em 10 idiomas no banco de dados WikiRank (das 55 edições em idiomas da Wikipédia consideradas).

A avaliação de qualidade e popularidade foi baseada em despejos da Wikipedia de 1º de julho de 2025 (incluindo histórico de revisões e visualizações de página de anos anteriores).

A tabela abaixo mostra as versões linguísticas do artigo com a mais alta qualidade.

#	Idioma	Grau de qualidade	Pontuação de qualidade
1	alemão (de) Agda		37.0945
2	inglês (en) Agda (programming language)		36.1714
3	chinês (zh) Agda		33.45
4	ucraniano (uk) Agda		22.739
5	coreano (ko) Agda		21.6998
6	persa (fa) آگدا (زبان برنامه‌نویسی)		15.8005
7	holandês (nl) Agda		10.5839
8	grego (el) Agda		9.7119
9	japonês (ja) Agda		6.1827
10	russo (ru) Agda		4.1521

Mais...

A tabela a seguir mostra as versões linguísticas mais populares do artigo.

As versões linguísticas mais populares do artigo "Agda (programming language)" em todo o tempo

#	Idioma	Prêmio de popularidade	Popularidade relativa
1	inglês (en) Agda (programming language)		585 451
2	russo (ru) Agda		49 881
3	japonês (ja) Agda		25 752
4	chinês (zh) Agda		18 098
5	grego (el) Agda		3 150
6	holandês (nl) Agda		1 700
7	coreano (ko) Agda		1 218
8	ucraniano (uk) Agda		880
9	persa (fa) آگدا (زبان برنامه‌نویسی)		443
10	alemão (de) Agda		182

Mais...

A tabela a seguir mostra as versões linguísticas do artigo com maior popularidade no último mês.

As versões linguísticas mais populares do artigo "Agda (programming language)" em junho de 2025

#	Idioma	Prêmio de popularidade	Popularidade relativa
1	inglês (en) Agda (programming language)		2 836
2	chinês (zh) Agda		200
3	russo (ru) Agda		190
4	japonês (ja) Agda		137
5	alemão (de) Agda		83
6	holandês (nl) Agda		27
7	coreano (ko) Agda		16
8	ucraniano (uk) Agda		11
9	grego (el) Agda		9
10	persa (fa) آگدا (زبان برنامه‌نویسی)		9

Mais...

A tabela a seguir mostra as versões linguísticas do artigo com maior Interesse dos Autores.

Versões linguísticas do artigo "Agda (programming language)" com maior Interesse dos Autores (número de autores). Apenas usuários registrados da Wikipédia foram levados em consideração.

#	Idioma	Prêmio de IA	IA relativa
1	inglês (en) Agda (programming language)		99
2	japonês (ja) Agda		17
3	russo (ru) Agda		10
4	holandês (nl) Agda		9
5	alemão (de) Agda		7
6	chinês (zh) Agda		7
7	ucraniano (uk) Agda		4
8	grego (el) Agda		3
9	persa (fa) آگدا (زبان برنامه‌نویسی)		3
10	coreano (ko) Agda		3

Mais...

A tabela a seguir mostra as versões linguísticas do artigo com maior Interesse dos Autores no último mês.

Versões linguísticas do artigo "Agda (programming language)" com a IA mais alta em junho de 2025

#	Idioma	Prêmio de IA	IA relativa
1	alemão (de) Agda		1
2	grego (el) Agda		0
3	inglês (en) Agda (programming language)		0
4	persa (fa) آگدا (زبان برنامه‌نویسی)		0
5	japonês (ja) Agda		0
6	coreano (ko) Agda		0
7	holandês (nl) Agda		0
8	russo (ru) Agda		0
9	ucraniano (uk) Agda		0
10	chinês (zh) Agda		0

Mais...

A tabela a seguir mostra as versões linguísticas do artigo com maior número de citações.

Versões linguísticas do artigo "Agda (programming language)" com o maior Índice de Citação (IC)

#	Idioma	Prêmio de IC	IC relativo
1	chinês (zh) Agda		196
2	ucraniano (uk) Agda		178
3	inglês (en) Agda (programming language)		134
4	russo (ru) Agda		14
5	japonês (ja) Agda		8
6	grego (el) Agda		7
7	alemão (de) Agda		5
8	coreano (ko) Agda		4
9	holandês (nl) Agda		3
10	persa (fa) آگدا (زبان برنامه‌نویسی)		1

Mais...

#	Idioma	Valor
de	alemão Agda
el	grego Agda
en	inglês Agda (programming language)
fa	persa آگدا (زبان برنامه‌نویسی)
ja	japonês Agda
ko	coreano Agda
nl	holandês Agda
ru	russo Agda
uk	ucraniano Agda
zh	chinês Agda

Melhor Posição

inglês: Nº 176668 08.2021

Global: Nº 282916 12.2014

Melhor Posição

inglês: Nº 17239 07.2014

Global: Nº 43068 05.2025

Em 12 de agosto de 2025, na Wikipédia multilíngue, os usuários da Internet leem com mais frequência artigos sobre os seguintes tópicos: Cristiano Ronaldo, Wednesday, Georgina Rodríguez, ChatGPT, Weapons, Jenna Ortega, mortes em 2025, Taylor Swift, Miguel Uribe, Liga dos Campeões da UEFA de 2025–26.

Na Wikipédia em inglês, os artigos mais populares naquele dia foram: 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.

O projeto destina-se à avaliação relativa automática dos artigos nas diversas versões linguísticas da Wikipédia. No momento, o serviço permite comparar mais de 44 milhões de artigos da Wikipédia em 55 idiomas. Os índices de qualidade dos artigos são baseados em despejos da Wikipédia de julho de 2025. Ao calcular a popularidade atual e a IA dos artigos, foram levados em consideração os dados de junho de 2025. Para valores históricos de popularidade e AI, o WikiRank usou dados de 2001 a 2025... Mais Informações