# GitHub repos by diekmann [Home](https://repo.masters-masters.com/en) › [diekmann](https://repo.masters-masters.com/en/owners/diekmann) All 2 public GitHub repos by diekmann in RepoMasters, most starred first: stars, language, tier and card for each. ## GitHub repos by diekmann 2 public repos by diekmann in the catalog, most starred first. - [diekmann/wasm-fizzbuzz · ★ 1,557 · C++ · Beta](https://repo.masters-masters.com/en/repos/diekmann/wasm-fizzbuzz) - [diekmann/Iptables\_Semantics · ★ 100 · Isabelle · Prototype](https://repo.masters-masters.com/en/repos/diekmann/Iptables_Semantics) ## See diekmann on GitHub - [https://github.com/diekmann](https://github.com/diekmann) --- Data: GitHub