- Lisbon, Portugal
Block or Report
Block or report Rafael-Baltazar
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
PAva-Java-Inspector
PAva-Java-Inspector PublicThe Java Inspector is a command line application to inspect Java code.
Java 1
-
Safety-Verification-for-C
Safety-Verification-for-C PublicBounded model checker for C programs. Receives verification conditions as input and uses Microsoft's Z3 SMT Solver for constraint solving.
C++ 1
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.