Side-by-Side Comparison
TauCeti vs type-info
Compare open source repositories side by side. Stars, forks, code health, licensing, and community growth.
Recorded Stars Comparison
● TauCetiProject/TauCeti (202)
● symfony/type-info (203)
☆ 202TauCeti stars
☆ 203type-info stars
+1Difference
type-infoStar Leader
Side-by-Side Facts
| Metric | TauCetiProject/TauCeti ↗ | symfony/type-info ↗ |
|---|---|---|
| Description | An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics | Extracts PHP types information. |
| GitHub Stars | ☆ 202 | ☆ 203 |
| Forks | 77 | 3 |
| Open Issues | 276 | 0 |
| Main Language | Lean | PHP |
| License | Apache-2.0 | MIT |
| Last Push | Sep 28, 2026 | Sep 26, 2026 |
| GitHub Source | Open Source ↗ | Open Source ↗ |
Popular Comparisons
awesome-go vs ollama
avelino/awesome-go · ollama/ollama
ECC vs react
affaan-m/ECC · react/react
claw-code vs clash-verge-rev
ultraworkers/claw-code · clash-verge-rev/clash-verge-rev
freeCodeCamp vs deepseek-harness
freeCodeCamp/freeCodeCamp · deepseek-ai/deepseek-harness
public-apis vs free-programming-books
public-apis/public-apis · EbookFoundation/free-programming-books
From our network