Leonardo's repositories
Treino-dao
essa é uma aplicação para treinar o uso de DAO
rbb-identificacao
Repositório de código para identificação dos usuários da RBB. Foco inicial é em PJs.
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.
rbb-token
Repositório de código para troca de valor na RBB. Foco inicial é em BNDESToken.
hackathon-bndes
Diploma de Bolso é uma plataforma que permite que alunos aprendam de forma totalmente online.
rbb-notarizacao
Repositório de código para notarização de informações utilizando a RBB.