Lenguaje · Idris
Idris
Repositorios de código abierto monitorizados que tienen Idris como lenguaje principal, ordenados por estrellas.
1 repositorio
- #1Idris2@idris-lang
Un lenguaje de programación puramente funcional con tipos de primera clase
★ 3048+5Variación de estrellas de los últimos 7 días
