Mateus Araújo Borges's repositories
advent2022
Submissions to advent of code 2022
cpachecker
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
deep-pokemon
Deep learning + Pokemon Showdown
jpf-core
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
motorola-ftestes-15
Materiais adicionais utilizados no curso de Ferramentas de Teste em 2015.1
truffle-wasm
Learning how truffle/wasm works (without looking at the Oracle implementation)