Language Breakdown
Lines of code distribution across 64 owned repositories
T-Shaped Developer
T-shapedDeep in Python with broad versatility
Collaboration Network
Global Impact visualization
Repos
165
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Rodrigo Palmeirim
@rodrigohpalmeirim
Ruiz Chen
@Ruizsolveall
Arthur Aguiar
@Sepulven
Ethan Perez
@ethanjperez
Matt Keenan
@Negabinary
Top Repositories
Pascal compiler implemented in python using Lex, Yacc and LLVM
Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses
Programming Language designed for Program Synthesis with SMT-validation.
Website and Multitouch app to manage a Multi-Touch surface.
A Sinatra app that takes github's post-receive-hook and git pulls to the local repo.
Unobtrusive Webcam Input for your HTML Forms
A Python implementation of the Refinement Types Tutorial.
My personal bliki
Tarpipe API library in Python
rdflib for Python, with SQLite fixes.
Open Source Impact
Contributions to external projects
