Gavin Hayes
Senior Software Engineer at Dylibso
Peterborough, New Hampshire, United States
Summary
🤩
Rockstar🎓
Top SchoolGavin Hayes is a Senior Software Engineer with a decade of experience building low-level and systems software across C, C++, Python, and .NET, currently based in Peterborough, NH. He has progressed from intern to lead roles at Raptor Scientific, now driving engineering at Dylibso, blending embedded systems know-how with production-grade tooling and system administration. Gavin is an active open-source contributor to notable C projects—improving Cosmopolitan’s portability and robustness and hardening FLAC decoding in dr_libs—which reflects his attention to portability, correctness, and testing. Comfortable across Linux and Windows environments, he pairs deep C systems expertise with higher-level languages for tooling and automation. Colleagues rely on him for pragmatic fixes to subtle system bugs and for making hard-to-test code more reliable and portable.
10 years of coding experience
8 years of employment as a software developer
Bachelor’s Degree, Computer Science, Bachelor’s Degree, Computer Science at Worcester Polytechnic Institute
Github Skills (21)
deco10
libc10
c-language10
system-programming10
testing10
c1110
decode10
c1710
flac10
file-handling10
c8910
cprogramming-language10
decoder10
debug9
debugging9
Programming languages (19)
Github contributions (5)
jart/cosmopolitan
Aug 2022 - Dec 2022
build-once run-anywhere c library
Role in this project:
Back-end Developer
Back-end DeveloperContributions:48 reviews, 26 commits, 73 PRs in 4 months
Contributions summary:Gavin primarily contributed to the C library, "cosmopolitan," by implementing and improving various system-level functions and utilities. Their work involved fixing bugs related to time and environment handling. They also added support for locales and added tests to improve code coverage. The user also worked on networking and file handling capabilities.
containerspolyglotbioswindowsefi
mackron/dr_libs
Oct 2020 - Jan 2022
Audio decoding libraries for C/C++, each in a single source file.
Role in this project:Back-end Developer
Back-end DeveloperContributions:8 commits, 5 PRs, 1 comment in 1 year 3 months
Contributions summary:Gavin focused on improving the `dr_libs` library by addressing several issues related to audio decoding, specifically for FLAC files. Their primary contributions included fixing potential infinite loops in the seek functions, enhancing C89 compatibility, and removing unaligned 32-bit loads to improve code stability. They also made modifications to build scripts and added test instructions for the project. These changes aimed to improve the robustness and portability of the FLAC decoding functionality.
cppdecodingaudio-filemp3wav
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.