# GitHub repos by idris-hackers

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

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

All 8 public GitHub repos by idris-hackers in RepoMasters, most starred first: stars, language, tier and card for each.

## GitHub repos by idris-hackers

8 public repos by idris-hackers in the catalog, most starred first.

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

## See idris-hackers on GitHub

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

---
Data: GitHub