# GitHub repos by siddhartha-gadgil

<https://repo.masters-masters.com/en/owners/siddhartha-gadgil>

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

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

## GitHub repos by siddhartha-gadgil

2 public repos by siddhartha-gadgil in the catalog, most starred first.

- [siddhartha-gadgil/ProvingGround · ★ 205 · Jupyter Notebook · Prototype](https://repo.masters-masters.com/en/repos/siddhartha-gadgil/ProvingGround)
- [siddhartha-gadgil/LeanAide · ★ 125 · Lean · Prototype](https://repo.masters-masters.com/en/repos/siddhartha-gadgil/LeanAide)

## See siddhartha-gadgil on GitHub

- [https://github.com/siddhartha-gadgil](https://github.com/siddhartha-gadgil)

---
Data: GitHub