Decorator which checks whether the function is called with the correct type of parameters.
Configurable instrumentation of LLVM bitcode
Coq definition of JML and a verified runtime assertion checker [maintainer=@palmskog]
Type-Safe Regex (TS-Rex) without the headache. A Drizzle-inspired, fluent-API Regex builder for modern TypeScript. Automatically infers named capture group types, ensures stateless execution, and supports the latest ES2024 features including Unicode sets.
Runtime Protocol conformance that checks method signatures, not just that members exist — the gap isinstance leaves open.
To associate your repository with the runtime-checking topic, visit your repo's landing page and select "manage topics."