Pinned Repositories
acassimiro.github.io
AluraSpringFramework
Core projects developed on the Spring Framework Formation from Alura.
building-secure-contracts
Guidelines and training material to write secure smart contracts
Compiladores2016.2
DeepLearning2018.1
DLFinalProject
DynamicProgramingLib
Dynamic Programming Algorithms
EcoMind
The ecological Social Media
TSNsched
Automated Schedule Generation for Time-Sensitive Networks (TSN).
z3
The Z3 Theorem Prover
ACassimiro's Repositories
ACassimiro/TSNsched
Automated Schedule Generation for Time-Sensitive Networks (TSN).
ACassimiro/z3
The Z3 Theorem Prover
ACassimiro/acassimiro.github.io
ACassimiro/AluraSpringFramework
Core projects developed on the Spring Framework Formation from Alura.
ACassimiro/building-secure-contracts
Guidelines and training material to write secure smart contracts
ACassimiro/Compiladores2016.2
ACassimiro/DeepLearning2018.1
ACassimiro/DLFinalProject
ACassimiro/DynamicProgramingLib
Dynamic Programming Algorithms
ACassimiro/EcoMind
The ecological Social Media
ACassimiro/engsoft
Projeto final de Engenharia de Sofware
ACassimiro/evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
ACassimiro/Padr-es-de-Projeto
Exemplos de utilização dos padrões de projeto
ACassimiro/ProgramasTeste
ACassimiro/SimpleEcommerceJSP
ACassimiro/weth-invariant-testing