KNighter
[SOSP'25] Automatic checker synthesis for system-level static analysis
ise-uiuc/KNighter
View on GitHub ↗[SOSP'25] Automatic checker synthesis for system-level static analysis
KNighter grew +0.5% in the last 30 days, ranks 709th of 1,059 in Prompting & Scaffolding, last commit 363 days ago.
Star trajectory
115 days tracked2026-07-02190 stars today2026-10-25
Momentum
+0.5% in 30d, below the Prompting & Scaffolding median of +1.4%.
Maintenance
Last commit 363 days ago, staler than the median of 27d.
How it compares in Prompting & Scaffolding
KNighter
190
stars
+0.5% 30d
commit 363 days ago
Prompting & Scaffolding median
319
stars
+1.4% 30d
commit ~27d ago
Leader · ponytail
175.7k
stars
+20.6% 30d
commit 7 days ago
Ranked 709th of 1,059 by stars.
- Language
- C++
- License
- Apache License 2.0
- Contributors
- 3
- Forks
- 28
- Watchers
- 2
- Open issues
- 3
- Releases
- 0
- Created
- 2025-03-07
- Stars this week
- +0
You've seen where KNighter stands today.
Get the moves before everyone else: the 5 Prompting & Scaffolding repos climbing fastest, every Tuesday.
Free weekly digest. Double opt-in, unsubscribe anytime.