# Dépôts de stefan-hoeck

<https://repo.masters-masters.com/owners/stefan-hoeck>

[Accueil](https://repo.masters-masters.com/) › [stefan-hoeck](https://repo.masters-masters.com/owners/stefan-hoeck)

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

## Dépôts de stefan-hoeck

2 dépôts publics de stefan-hoeck au catalogue, du plus étoilé au moins étoilé.

- [stefan-hoeck/idris2-tutorial · ★ 240 · Idris · Prototype](https://repo.masters-masters.com/repos/stefan-hoeck/idris2-tutorial)
- [stefan-hoeck/idris2-pack · ★ 163 · Idris · Prototype](https://repo.masters-masters.com/repos/stefan-hoeck/idris2-pack)

## Voir stefan-hoeck sur GitHub

- [https://github.com/stefan-hoeck](https://github.com/stefan-hoeck)

---
Données : GitHub