# GitHub repos by JannisKirschner [Home](https://repo.masters-masters.com/en) › [JannisKirschner](https://repo.masters-masters.com/en/owners/JannisKirschner) All 2 public GitHub repos by JannisKirschner in RepoMasters, most starred first: stars, language, tier and card for each. ## GitHub repos by JannisKirschner 2 public repos by JannisKirschner in the catalog, most starred first. - [JannisKirschner/Horn3t · ★ 137 · Python · Prototype](https://repo.masters-masters.com/en/repos/JannisKirschner/Horn3t) - [JannisKirschner/SymbolicExecutionDemystified · ★ 100 · Python · Prototype](https://repo.masters-masters.com/en/repos/JannisKirschner/SymbolicExecutionDemystified) ## See JannisKirschner on GitHub - [https://github.com/JannisKirschner](https://github.com/JannisKirschner) --- Data: GitHub