Библиотеки, написани на Idris
Idris2
Чисто функционален език за програмиране с първокласни типове.
- 2.2k
- GNU General Public License v3.0
![](/static/lib-default.png)
idris-ct
официално проверена библиотека за теория на категориите.
- 245
- GNU Affero General Public License v3.0
![](/static/lib-default.png)
order-taking
Idris версия на Domain Modeling Made Functional Book..
- 127
- GNU General Public License v3.0
![](/static/lib-default.png)
![](/static/lib-default.png)
![](/static/lib-default.png)
![](/static/lib-default.png)
![](/static/lib-default.png)