Bibliotecas escritas em Idris
Idris2
Uma linguagem de programação puramente funcional com tipos de primeira classe.
- 2.2k
- GNU General Public License v3.0
idris-ct
biblioteca de teoria de categorias formalmente verificada.
- 245
- GNU Affero General Public License v3.0
order-taking
Versão de Idris do livro Domain Modeling Made Functional.
- 127
- GNU General Public License v3.0