Lenguaje · Agda

Agda

Repositorios de código abierto monitorizados que tienen Agda como lenguaje principal, ordenados por estrellas.

3 repositorios

#1
plfa.github.io@plfaAgda
Una introducción a la teoría de lenguajes de programación en Agda
★ 1513+0Variación de estrellas de los últimos 7 días
#2
agda-stdlib@agdaAgda
La biblioteca estándar de Agda
★ 675+0Variación de estrellas de los últimos 7 días
#3
cubical@agdaAgda
Una biblioteca experimental para Cubical Agda
★ 567+2Variación de estrellas de los últimos 7 días