Axel Polo
Full Stack Developer DevOps at Benaco
Tlaxcala, Mexico
Summary
👤
Senior🎓
Top SchoolAxel Polo is a Full Stack Developer and DevOps engineer with eight years of experience building and maintaining web applications and CI/CD pipelines, currently contributing at Benaco. He blends practical mastery of Python, JavaScript/TypeScript, Rust and AWS with a strong emphasis on code quality, collaboration and debugging across databases, backends and frontends. Axel pairs production-focused skills (React, react-query, Tailwind, GitHub Actions) with academic curiosity—he’s worked on formal verification in Agda and explores compilers and dependent type theory. That mix of hands-on delivery and deep theoretical interest makes him comfortable tackling both obscure language tooling and everyday product engineering.
9 years of coding experience
Bachelor's degree, Computer Science, Bachelor's degree, Computer Science at Benemérita Universidad Autónoma de Puebla
English, Spanish
Github Skills (31)
javascript9
css9
karabiner9
http9
documentation9
js9
web-development9
html9
hammerspoon8
web-standards8
vscode8
vscode-extension8
null-safety7
vim7
lisp6
Programming languages (12)
Github contributions (5)
ggzor/dotfiles
Sep 2020 - Nov 2022
My dotfiles
Contributions:623 commits, 398 pushes, 4 branches in 2 years 2 months
vimkarabinerdotfileshammerspoonzsh
ggzor/advent-of-code-2021
Dec 2021 - May 2022
Contributions:165 commits, 155 pushes, 3 branches in 5 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.