Pedro Alves

Rockstar Developer at Critical TechWorks

Braga, Portugal
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 Alves is a pragmatic software engineer with 11 years of hands-on experience and a Master’s in Computer Engineering from Universidade do Minho, currently building product at Critical TechWorks. He combines low-level curiosity with practical tooling expertise—evident in his Nix and Neovim work where he contributed configuration, plugin integrations, and keybinding support to the nixvim community project. Based in Braga, Portugal, he pairs strong problem-solving skills with multimedia design experience from student organisations, blending technical delivery with an eye for user-facing polish. Energetic and self-driven since childhood, he enjoys shaping developer workflows and reproducible environments that make teams more productive.
code11 years of coding experience
job1 year of employment as a software developer
bookInglês C1+, Inglês C1+ at Babelium
bookMestrado Integrado, Engenharia Informática, Mestrado Integrado, Engenharia Informática at Escola de Engenharia da Universidade do Minho
bookCiências e Tecnologia, Ciências e Tecnologia at Escola Secundária Carlos Amarante
languagesEnglish, Portuguese
github-logo-circle

Github Skills (10)

vi10
neovim10
vim10
lua10
plug10
nvim10
nix10
plugin10
tree-sitter9
git8

Programming languages (20)

C#C++CRustGoTree-sitter QueryKotlinTypeScript

Github contributions (5)

github-logo-circle
nix-community/nixvim

Dec 2020 - Jan 2023

Configure Neovim with Nix! [maintainers=@GaetanLepage, @traxys, @mattsturgeon, @khaneliman]
Role in this project:
userFull-stack Developer
Contributions:207 reviews, 174 commits, 140 PRs in 2 years 1 month
Contributions summary:Pedro primarily contributed to the configuration of Neovim using Nix, a declarative package manager. Their work focused on enabling and configuring various plugins, including status line enhancements with lightline, airline, and lualine. They also added support for keybindings, code completion with coq-nvim, and integrated tools like gitgutter, showing a deep understanding of customizing the Neovim experience through Nix-based configurations.
vimnixosnixos-moduleneovimconfigure
pta2002/intellitab.nvim

May 2021 - Nov 2021

Contributions:1 review, 19 commits, 1 PR 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.
Request Free Trial