Davi Romero de Vasconcelos
@daviromeroPossui graduação em Ciência da Computação pela Universidade Federal do Ceará, mestrado e doutorado pela PUC-Rio. É professor associado da UFC.
Language Breakdown
Lines of code distribution across 6 owned repositories
I-Shaped Developer
I-shapedSpecialist — deep expertise in Jupyter Notebook
Collaboration Network
Global Impact visualization
Repos
7
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Not following anyone yet.
Top Repositories
Natural Deduction Proof Assistant (NADIA) is a tool for teaching Natural Deduction in Fitch-Style
Analytic Tableau Proof Assistant (ANITA) is a tool for teaching Analytic Tableaux
Logic4py is a library for teaching logic
TeoComp é uma biblioteca em Python com os conceitos utilizados nas disciplina de Linguagens Formais e Autômatos e Teoria da Computação
Automaton2bpmn is a library for converting automata (teocomp package) to bpmn.
Open Source Impact
Contributions to external projects
No external contributions found.