kani-ratelimits. A simple ratelimit engine wrapper for kani. Supports RPM, TPM, and max_concurrency limits.

github.com/zhudotexe/kani-ratelimits

Vaya's read on this project

Problem, audience, market, and the verdict — sign in to see it.

Updates

No recent activity.