# GitHub repos by stefan-hoeck

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

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

All 2 public GitHub repos by stefan-hoeck in RepoMasters, most starred first: stars, language, tier and card for each.

## GitHub repos by stefan-hoeck

2 public repos by stefan-hoeck in the catalog, most starred first.

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

## See stefan-hoeck on GitHub

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

---
Data: GitHub