# Dépôts de idris-hackers

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

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

Les 8 dépôts GitHub publics de idris-hackers, du plus étoilé au moins étoilé : étoiles, langage et rang de chaque carte RepoMasters.

## Dépôts de idris-hackers

8 dépôts publics de idris-hackers au catalogue, du plus étoilé au moins étoilé.

- [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-koans · ★ 181 · Idris · Prototype](https://repo.masters-masters.com/repos/idris-hackers/idris-koans)
- [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)
- [idris-hackers/atom-language-idris · ★ 100 · TypeScript · Prototype](https://repo.masters-masters.com/repos/idris-hackers/atom-language-idris)

## Voir idris-hackers sur GitHub

- [https://github.com/idris-hackers](https://github.com/idris-hackers)

---
Données : GitHub