PY
stanford-centaur/PyPantograph
A Machine-to-Machine Interaction System for Lean 4.
137 31 +0/wk
GitHub
automated-reasoning automated-theorem-proving lean4 machine-learning python theorem-proving
Trend
0
Star & Fork Trend (14 data points)
Stars
Forks
Multi-Source Signals
Growth Velocity
stanford-centaur/PyPantograph has +0 stars this period . Velocity data will be available after more historical data is collected.
Deep analysis is being generated for this repository.
Signal-backed technical analysis will be available soon.
| Metric | PyPantograph | awesome-ai-for-economists | card-scanner-flutter | ylg |
|---|---|---|---|---|
| Stars | 137 | 137 | 136 | 136 |
| Forks | 31 | 41 | 121 | 17 |
| Weekly Growth | +0 | +32 | -1 | +0 |
| Language | Python | N/A | Swift | Python |
| Sources | 1 | 1 | 1 | 1 |
| License | Apache-2.0 | CC0-1.0 | GPL-3.0 | GPL-3.0 |
Capability Radar vs awesome-ai-for-economists
PyPantograph
awesome-ai-for-economists
Maintenance Activity 100
Last code push 4 days ago.
Community Engagement 100
Fork-to-star ratio: 22.6%. Active community forking and contributing.
Issue Burden 70
Issue data not yet available.
Growth Momentum 30
No measurable growth in the current period (first-day cold start expected).
License Clarity 95
Licensed under Apache-2.0. Permissive — safe for commercial use.
Risk scores are computed from real-time repository data. Higher scores indicate healthier metrics.