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.
8 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 (26)
null-safety9
karabiner9
hammerspoon8
vim7
lisp7
vscode6
zsh6
vscode-extension6
recursive5
keybindings5
visual-studio5
neovim5
typescript5
agda4
visual-studio-code4
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/night-owl2.vim
Apr 2021 - Mar 2025
Contributions:59 pushes, 1 branch in 3 years 11 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.