Tema · agda
agda
Repositorios de código abierto monitorizados etiquetados con agda, ordenados por estrellas.
Repositorios
3
Estrellas totales
4164
Estrellas de media
1388
Proporción
0,00%
Temas relacionados
Temas que aparecen con frecuencia junto a agda en un mismo repositorio.
Emergentes recientes
Repositorios creados en los últimos 90 días, etiquetados con agda.
No hay repositorios nuevos con este tema en los últimos 90 días.
- #1
Agda es un lenguaje de programación con tipos dependientes / probador interactivo de teoremas.
★ 2922+1Variación de estrellas de los últimos 7 días - #2
La biblioteca estándar de Agda
★ 675+0Variación de estrellas de los últimos 7 días - #3★ 567+1Variación de estrellas de los últimos 7 días
