Pedro Alves
Rockstar Developer at Critical TechWorks
Braga, Portugal
Summary
🤩
Rockstar🎓
Top SchoolPedro 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.
11 years of coding experience
1 year of employment as a software developer
Inglês C1+, Inglês C1+ at BabeliumMestrado Integrado, Engenharia Informática, Mestrado Integrado, Engenharia Informática at Escola de Engenharia da Universidade do MinhoCiências e Tecnologia, Ciências e Tecnologia at Escola Secundária Carlos Amarante
English, Portuguese
Github Skills (10)
vi10
neovim10
vim10
lua10
plug10
nvim10
nix10
plugin10
tree-sitter9
git8
Programming languages (20)
Github contributions (5)
nix-community/nixvim
Dec 2020 - Jan 2023
Configure Neovim with Nix! [maintainers=@GaetanLepage, @traxys, @mattsturgeon, @khaneliman]
Role in this project:
Full-stack Developer
Full-stack DeveloperContributions:209 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.
neovimnixnixosnixos-modulevim
pta2002/typst-timeliney
Oct 2023 - Apr 2026
Create Gantt charts in Typst
Contributions:3 releases, 11 reviews, 8 PRs in 2 years 6 months
gantt-charttypst
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.