Projects in Awesome Lists tagged with runtime-checking
A curated list of projects in awesome lists tagged with runtime-checking .
https://github.com/felixthec/strongtyping
Decorator which checks whether the function is called with the correct type of parameters.
decorator docstring-checker property python runtime-checking setter-getter type-checking typechecking typing-decorator
Last synced: 27 Feb 2026
https://github.com/FelixTheC/strongtyping
Decorator which checks whether the function is called with the correct type of parameters.
decorator docstring-checker property python runtime-checking setter-getter type-checking typechecking typing-decorator
Last synced: 13 May 2025
https://github.com/staticafi/sbt-instrumentation
Configurable instrumentation of LLVM bitcode
code-instrumentation dangling-pointer-detection instrumentation llvm llvm-instrumentation memory-leak-detection memory-safety null-check runtime-checking
Last synced: 13 Mar 2026
https://github.com/coq-community/jmlcoq
Coq definition of JML and a verified runtime assertion checker [maintainer=@palmskog]
coq docker-coq-action java jml nix-action runtime-checking
Last synced: 17 Mar 2025
