Proprietário · agda

agda

Repositórios de código aberto acompanhados de agda, ordenados por estrelas.

3 repositórios

#1
agda ↗@agdaHaskell
Agda é uma linguagem de programação com tipos dependentes / provador de teoremas interativo.
★ 2.922+3Variação de estrelas nos últimos 7 dias
#2
agda-stdlib ↗@agdaAgda
A biblioteca padrão do Agda
★ 675+0Variação de estrelas nos últimos 7 dias
#3
cubical ↗@agdaAgda
Uma biblioteca experimental para Cubical Agda
★ 567+0Variação de estrelas nos últimos 7 dias