Propietario · AndrasKovacs

AndrasKovacs

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

2 repositorios

#1
elaboration-zoo ↗@AndrasKovacsHaskell
Implementaciones mínimas para la verificación y elaboración de tipos dependientes
★ 797+2Variación de estrellas de los últimos 7 días
#2
smalltt ↗@AndrasKovacsLean
Demo para la elaboración de teoría de tipos de alto rendimiento
★ 600+2Variación de estrellas de los últimos 7 días