FelixTheC / strongtyping Star 117 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 Feb 27, 2026 Python
staticafi / sbt-instrumentation Star 35 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 Mar 31, 2025 C++
rocq-community / jmlcoq Star 4 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