# GitHub repos by project-numina

<https://repo.masters-masters.com/en/owners/project-numina>

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

All 3 public GitHub repos by project-numina in RepoMasters, most starred first: stars, language, tier and card for each.

## GitHub repos by project-numina

3 public repos by project-numina in the catalog, most starred first.

- [project-numina/aimo-progress-prize · ★ 497 · Jupyter Notebook · Alpha](https://repo.masters-masters.com/en/repos/project-numina/aimo-progress-prize)
- [project-numina/numina-lean-agent · ★ 287 · Python · Alpha](https://repo.masters-masters.com/en/repos/project-numina/numina-lean-agent)
- [project-numina/kimina-lean-server · ★ 214 · Python · Prototype](https://repo.masters-masters.com/en/repos/project-numina/kimina-lean-server)

## See project-numina on GitHub

- [https://github.com/project-numina](https://github.com/project-numina)

---
Data: GitHub