Pinned Repositories
LeonardoPereiraa's Repositories
LeonardoPereiraa/projetoLeoforrageiras
LeonardoPereiraa/appGrafo
LeonardoPereiraa/BlockchainTrabalhoPermissaoAcesso
LeonardoPereiraa/bndes-network
LeonardoPereiraa/Caracteriza-o-e-Incorpora-o
LeonardoPereiraa/curso
LeonardoPereiraa/depraia
LeonardoPereiraa/doacaoSolidity
LeonardoPereiraa/EthereumRioHackathon
LeonardoPereiraa/ExercicioSTesteEQualidade
LeonardoPereiraa/graspProblemaDaUniaoEstavel
LeonardoPereiraa/hackathon-bndes
Diploma de Bolso é uma plataforma que permite que alunos aprendam de forma totalmente online.
LeonardoPereiraa/HackathonEthereumSP2023
LeonardoPereiraa/HardhadTeste
LeonardoPereiraa/leituraTeste
LeonardoPereiraa/localstackLambda
LeonardoPereiraa/miocardio-pediatra-medico
LeonardoPereiraa/PiFramework
The Π framework aims at being a simple formal framework for compiler construction. It is comprised of Π IR and Π automata. The Π IR component is comprised of basic programming languages constructs whose semantics are formally specified in Π automata. To construct a compiler for a programming language one simply needs to define the Π denotations of the statements of the given programming language in terms of Π IR constructions.
LeonardoPereiraa/rbb-identificacao
Repositório de código para identificação dos usuários da RBB. Foco inicial é em PJs.
LeonardoPereiraa/rbb-notarizacao
Repositório de código para notarização de informações utilizando a RBB.
LeonardoPereiraa/rbb-token
Repositório de código para troca de valor na RBB. Foco inicial é em BNDESToken.
LeonardoPereiraa/someSmartContracts
LeonardoPereiraa/Testederepo
LeonardoPereiraa/TesteEQualidadeTDD
LeonardoPereiraa/traviz
LeonardoPereiraa/treinandoGit
LeonardoPereiraa/Treino-dao
essa é uma aplicação para treinar o uso de DAO