Propietario · agda

agda

Repositorios de código abierto monitorizados de agda, ordenados por estrellas.

3 repositorios

#1
agda ↗@agdaHaskell
Agda es un lenguaje de programación con tipos dependientes / probador interactivo de teoremas.
★ 2922+3Variació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+0Variación de estrellas de los últimos 7 días