# GitHub repos by lecopivo [Home](https://repo.masters-masters.com/en) › [lecopivo](https://repo.masters-masters.com/en/owners/lecopivo) All 2 public GitHub repos by lecopivo in RepoMasters, most starred first: stars, language, tier and card for each. ## GitHub repos by lecopivo 2 public repos by lecopivo in the catalog, most starred first. - [lecopivo/SciLean · ★ 544 · Lean · Alpha](https://repo.masters-masters.com/en/repos/lecopivo/SciLean) - [lecopivo/WaterSurfaceWavelets · ★ 151 · C++ · Prototype](https://repo.masters-masters.com/en/repos/lecopivo/WaterSurfaceWavelets) ## See lecopivo on GitHub - [https://github.com/lecopivo](https://github.com/lecopivo) --- Data: GitHub