Matheus Consoli
São Paulo, Brazil
Summary
🤩
Rockstar🎓
Top SchoolMatheus Consoli is a Brazilian software engineer based in São Paulo with eight years of professional experience and a strong focus on backend systems, compilers, and Rust-based tooling. He has contributed to notable open-source projects like the Gleam compiler—working on Erlang interoperability and type-import handling—and Spacedrive, improving file indexing, memory allocation, and thumbnail encoding in a cross-platform virtual filesystem. Matheus combines pragmatic engineering with attention to language-level details (his GitHub bio cheekily references implementing std::io::Write), making him effective at both low-level systems work and developer-facing build improvements. Trained as a technologist in Analysis and Systems Development at IFSP, he brings a blend of systems thinking and readable, well-tested code to distributed and type-safe software projects.
8 years of coding experience
Instituto Federal de Educação, Ciência e Tecnologia de São Paulo
Github Skills (17)
file-management10
erlang10
storage10
distributed-systems10
gitignore10
compiler-compiler10
gleam10
compiler10
rust10
programming-language9
encryption9
strongly-typed8
static-typing8
testing8
typescripts6
Programming languages (8)
Github contributions (5)
spacedriveapp/spacedrive
Apr 2024 - Nov 2024
Spacedrive is an open source cross-platform file explorer, powered by a virtual distributed filesystem written in Rust.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:17 reviews, 18 PRs, 12 pushes in 6 months
Contributions summary:Matheus primarily contributed to the back-end logic of the Spacedrive application, focusing on data handling, file management, and indexing. They implemented features such as extending indexer rules with gitignore support, improving file copying processes, and optimizing memory allocation. The user also addressed errors related to thumbnail encoding and refactored code to improve the clarity and readability of log messages.
virtual-distributed-filesystemrustlinuxfile-explorerdistributed-systems
gleam-lang/gleam
May 2021 - Jun 2022
⭐️ A friendly language for building type-safe, scalable systems!
Role in this project:Backend Developer
Backend DeveloperContributions:7 commits, 3 PRs, 4 comments in 1 year
Contributions summary:Matheus contributed to the Gleam compiler, focusing on Erlang interoperability. They implemented features to escape Erlang keywords in Gleam type names to avoid conflicts. Additionally, the user enhanced the build process by adding support for aliased custom type constructor imports, and fixed broken tests related to import statements. Finally, the user also made formatting adjustments to handle tuple field access.
gleamscalableerlangstatically-typedtype-safe
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.