Pedro Campos
Full Stack Software Engineer at Timeline
São Paulo, São Paulo, Brazil
Summary
🤩
Rockstar🎓
Top SchoolPedro Campos is a Full Stack Software Engineer with 14 years of experience building web and game-focused applications from São Paulo. He blends functional-first languages like Elm and Elixir with modern front-end tooling (React + TypeScript), having shipped products at Paack, Mind Lab Brasil and now Timeline. A founder of chaotic-aur / chaotic-cx and self-described "λ-appreciator," he brings a strong affinity for functional programming and pragmatic system design that often surfaces in production-grade UIs and backend services. Trained in Computer Science at Universidade Federal de São Carlos, Pedro pairs long-term hands-on engineering with an appetite for experimentation—evident in his game development background and small-scale open-source projects.
14 years of coding experience
7 years of employment as a software developer
Technical and High School, Information Technology, Technical and High School, Information Technology at ETEC Prof. Jardyr SallesBachelor's degree, Computer Science, Bachelor's degree, Computer Science at Universidade Federal de São Carlos
English, Portuguese
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (200)
proton10
kvm10
chat10
perf10
command-line-tool10
qemu10
utm10
vte10
commercial10
nixpkgs10
solaris10
video-player10
elm-ui10
lan10
messaging10
Programming languages (22)
Github contributions (5)
PedroHLC/ViewLyricsOpenSearcher
Aug 2012 - Jan 2018
Contributions:9 commits, 2 PRs, 4 pushes in 5 years 6 months
storedtxtlrcsearcherlrc-files
chaotic-cx/nyx
Mar 2023 - Apr 2025
Nix flake for "too much bleeding-edge" and unreleased packages (e.g., mesa_git, linux_cachyos, firefox_nightly, sway_git, gamescope_git). And experimental modules (e.g., HDR, duckdns).
Contributions:137 reviews, 999 PRs, 2149 pushes in 2 years
bleeding-edgehdrnixnix-flakes
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.