Proprietário · AndrasKovacs

AndrasKovacs

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

2 repositórios

#1
elaboration-zoo ↗@AndrasKovacsHaskell
Implementações mínimas para verificação e elaboração de tipos dependentes
★ 797+2Variação de estrelas nos últimos 7 dias
#2
smalltt ↗@AndrasKovacsLean
Demonstração para elaboração de teoria de tipos de alto desempenho.
★ 600+2Variação de estrelas nos últimos 7 dias