# GitHub repos by neelsomani [Home](https://repo.masters-masters.com/en) › [neelsomani](https://repo.masters-masters.com/en/owners/neelsomani) All 2 public GitHub repos by neelsomani in RepoMasters, most starred first: stars, language, tier and card for each. ## GitHub repos by neelsomani 2 public repos by neelsomani in the catalog, most starred first. - [neelsomani/senator-filings · ★ 412 · Jupyter Notebook · Alpha](https://repo.masters-masters.com/en/repos/neelsomani/senator-filings) - [neelsomani/vericuda · ★ 134 · Rocq Prover · Prototype](https://repo.masters-masters.com/en/repos/neelsomani/vericuda) ## See neelsomani on GitHub - [https://github.com/neelsomani](https://github.com/neelsomani) --- Data: GitHub