runtime-checking
There are 3 repositories under runtime-checking topic.
FelixTheC/strongtyping
Decorator which checks whether the function is called with the correct type of parameters.
staticafi/sbt-instrumentation
Configurable instrumentation of LLVM bitcode
coq-community/jmlcoq
Coq definition of JML and a verified runtime assertion checker [maintainer=@palmskog]