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: 12 Apr 2025
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/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
