FelixTheC / strongtyping Star 104 Code Issues Pull requests Discussions Decorator which checks whether the function is called with the correct type of parameters. python property decorator type-checking typechecking docstring-checker runtime-checking setter-getter typing-decorator Updated May 21, 2024 Python
staticafi / sbt-instrumentation Star 31 Code Issues Pull requests Configurable instrumentation of LLVM bitcode llvm instrumentation memory-safety memory-leak-detection null-check runtime-checking code-instrumentation dangling-pointer-detection llvm-instrumentation Updated Nov 30, 2023 C++
coq-community / jmlcoq Star 3 Code Issues Pull requests Coq definition of JML and a verified runtime assertion checker [maintainer=@palmskog] java coq jml runtime-checking docker-coq-action nix-action Updated Dec 30, 2023 Coq