AlphaUncommon
specula-org/Specula
Specula: An agentic tool for finding deep bugs in system code using TLA+
- Owner
- specula-org (organization)
- Stars
- Stars: 627
- Forks
- Forks: 70
- Language
- Python
- License
- Apache-2.0
- Created
- 2025
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in Python
All Python repos- 525815266/YYB-Go-EnhancedStars: 627PythonAlpha
- MiaAI-Lab/Qwen3.8-Flash-Next-Single-DGX-SparkStars: 627PythonAlpha
- divagr18/qwenputerStars: 627PythonAlpha
- c-w/ghp-importStars: 627PythonAlpha
- bookieio/BookieStars: 627PythonAlpha
- stchris/untangleStars: 627PythonAlpha