Chronos - A static race detector for the go language
- analysis
- golang
- synchronization
- detection
Repository Index
77,852 visible repositories in the index
1–2 of 2 · Most stars
AI writes. SPARDA proves. A deterministic, offline gate that catches when an AI edit removes a guard, exposes a route, or breaks an invariant — no API key, right in the agent edit loop.
- ai-agents
- ai-code-review
- authorization
- bola