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.
Language:Python107 6 273
staticafi/sbt-instrumentation
Configurable instrumentation of LLVM bitcode
Language:C++31 8 2610
coq-community/jmlcoq
Coq definition of JML and a verified runtime assertion checker [maintainer=@palmskog]
Language:Coq3 3 0