# idris-hackers/idris-koans

<https://repo.masters-masters.com/repos/idris-hackers/idris-koans>

[Accueil](https://repo.masters-masters.com/) › [idris-hackers](https://repo.masters-masters.com/owners/idris-hackers) › [idris-koans](https://repo.masters-masters.com/repos/idris-hackers/idris-koans)

idris-hackers/idris-koans, dépôt open source à 181 étoiles sur GitHub. Carte Prototype de RepoMasters. Koans are small lessons on the path to enlightenment…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [idris-hackers](https://repo.masters-masters.com/owners/idris-hackers) |
| Étoiles | 181 |
| Forks | 26 |
| Langage | [Idris](https://repo.masters-masters.com/languages/idris) |
| Licence | BSD-3-Clause |
| Création | 2013 |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [idris-hackers/idris-koans](https://github.com/idris-hackers/idris-koans) |

## Fiche du dépôt

Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing code and fixing them so that they type check.

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## Autres dépôts de idris-hackers

- [idris-hackers/software-foundations · ★ 460 · Idris · Alpha](https://repo.masters-masters.com/repos/idris-hackers/software-foundations)
- [idris-hackers/idris-mode · ★ 275 · Emacs Lisp · Alpha](https://repo.masters-masters.com/repos/idris-hackers/idris-mode)
- [idris-hackers/idris-vim · ★ 221 · Vim Script · Prototype](https://repo.masters-masters.com/repos/idris-hackers/idris-vim)
- [idris-hackers/idris-demos · ★ 195 · Idris · Prototype](https://repo.masters-masters.com/repos/idris-hackers/idris-demos)
- [idris-hackers/idris-crypto · ★ 121 · Idris · Prototype](https://repo.masters-masters.com/repos/idris-hackers/idris-crypto)
- [idris-hackers/IdrisWeb · ★ 109 · TeX · Prototype](https://repo.masters-masters.com/repos/idris-hackers/IdrisWeb)

## D’autres dépôts Idris

- [puffnfresh/iridium · ★ 209 · Idris · Prototype](https://repo.masters-masters.com/repos/puffnfresh/iridium)
- [idris-community/idris2-lsp · ★ 205 · Idris · Prototype](https://repo.masters-masters.com/repos/idris-community/idris2-lsp)
- [idris-hackers/idris-demos · ★ 195 · Idris · Prototype](https://repo.masters-masters.com/repos/idris-hackers/idris-demos)
- [channable/dbcritic · ★ 180 · Idris · Prototype](https://repo.masters-masters.com/repos/channable/dbcritic)
- [timjb/quantities · ★ 164 · Idris · Prototype](https://repo.masters-masters.com/repos/timjb/quantities)
- [edwinb/TypeDD-Samples · ★ 163 · Idris · Prototype](https://repo.masters-masters.com/repos/edwinb/TypeDD-Samples)

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.