Repositorios de código abierto monitorizados de sweirich, ordenados por estrellas.
Una implementación de demostración de un lenguaje simple con tipos dependientes
