Repositorios de código abierto monitorizados de magmide, ordenados por estrellas.
Un lenguaje de prueba con tipos dependientes diseñado para hacer posible el código bare metal demostrablemente correcto para ingenieros de software.
