Pedro Girardi

Senior Software Engineer at Velos Ag

Brazil
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
Pedro Girardi is a Senior Software Engineer based in Brazil with 11 years of hands-on experience building production software across Java, Android, and Clojure/ClojureScript ecosystems. He has steadily progressed from backend and mobile roles into specialist Clojure work, contributing notable fixes and UX improvements to the popular Calva VS Code extension for interactive Clojure development. At Velos Ag he continues to apply functional programming principles to real-world systems, drawing on prior roles at Convex, JUXT, and DEX where he focused on REPL-driven workflows and developer tooling. Pedro combines practical engineering discipline with an educator’s interest in tools and languages, often tackling tricky runtime and debugging issues rather than just feature work. He is comfortable across the full stack and prefers solutions that improve developer experience as much as user-facing functionality.
code11 years of coding experience
job14 years of employment as a software developer
bookBachelor's degree, Information Technology, Bachelor's degree, Information Technology at FATEC Ourinhos Faculdade de Tecnologia de Ourinhos
languagesEnglish, Portuguese
github-logo-circle

Github Skills (6)

clojure10
vscode-extension10
clojure-cli10
clojurescript10
nrepl10
javascript9

Programming languages (9)

TypeScriptJavaCSSCJavaScriptPythonClojureKotlin

Github contributions (5)

github-logo-circle
BetterThanTomorrow/calva

Apr 2018 - May 2018

Clojure & ClojureScript Interactive Programming for VS Code
Role in this project:
userFull-stack Developer
Contributions:29 commits, 10 PRs, 33 pushes in 1 month
Contributions summary:Pedro primarily worked on improving the Calva extension for VS Code, which focuses on Clojure and ClojureScript interactive programming. Their contributions include updates related to nREPL connection in CLJS, including debugging the connection process and handling CLJS messages. They also implemented tooltip improvements, and resolved various issues related to shadow-cljs build and REPL startup.
interactive-programmingvscodevs-codeclojurescriptintellisense
pedrorgirardi/Pep

Dec 2021 - Jan 2023

Elemental Clojure & ClojureScript code navigation, documentation, and usages analysis for Sublime Text.
Contributions:12 releases, 466 commits, 10 PRs in 1 year 1 month
elementalindentationrumsublimeclojurescript
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.
Request Free Trial
Pedro Girardi - Senior Software Engineer at Velos Ag