GitHub repos by project-numina
3 public repos by project-numina in the catalog, most starred first.
- project-numina/aimo-progress-prizeStars: 497Jupyter NotebookAlpha
- project-numina/numina-lean-agentStars: 286PythonAlpha
- project-numina/kimina-lean-serverStars: 213PythonPrototype