# GitHub repos by ElNiak [Home](https://repo.masters-masters.com/en) › [ElNiak](https://repo.masters-masters.com/en/owners/ElNiak) All 2 public GitHub repos by ElNiak in RepoMasters, most starred first: stars, language, tier and card for each. ## GitHub repos by ElNiak 2 public repos by ElNiak in the catalog, most starred first. - [ElNiak/awesome-formal-verification · ★ 206 · Prototype](https://repo.masters-masters.com/en/repos/ElNiak/awesome-formal-verification) - [ElNiak/awesome-ai-cybersecurity · ★ 164 · Prototype](https://repo.masters-masters.com/en/repos/ElNiak/awesome-ai-cybersecurity) ## See ElNiak on GitHub - [https://github.com/ElNiak](https://github.com/ElNiak) --- Data: GitHub