# idris-hackers/idris-koans

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

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

idris-hackers/idris-koans has 181 stars on GitHub. Its RepoMasters card: Prototype tier. Koans are small lessons on the path to enlightenment. The aim of the…

| Field | Value |
| --- | --- |
| Owner | [idris-hackers](https://repo.masters-masters.com/en/owners/idris-hackers) |
| Stars | 181 |
| Forks | 26 |
| Language | [Idris](https://repo.masters-masters.com/en/languages/idris) |
| License | BSD-3-Clause |
| Created | 2013 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [idris-hackers/idris-koans](https://github.com/idris-hackers/idris-koans) |

## Repository

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.

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by idris-hackers

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

## Nearby in Idris

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

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.