Mark Gerads
Hayden, Idaho, United States
Summary
🤩
Rockstar🎓
Top SchoolMark Gerads is a pragmatic software engineer with 15 years of hands-on experience bridging mathematics and systems development from Hayden, Idaho. He has deep curiosity for formal methods—recently exploring the Lean theorem prover—and a history of practical networking and scripting work from roles at Winona State University. As an active open-source contributor, he expanded Go bindings for GTK, adding widgets and examples that improved the usability of the go-gtk project. Comfortable across low-level networking tasks, Perl/PHP tooling, and GUI bindings, he brings a blend of applied troubleshooting and a mathematician's attention to correctness.
15 years of coding experience
Did not finish, Mathematics and Computer Science, Did not finish, Mathematics and Computer Science at Winona State UniversityMath and Computers, Math and Computers at Winona Senior High School
English
Stackoverflow
101reputation
0reached
0answers
0questions
Github Skills (6)
linux10
gtk10
go10
front-end-development10
windows7
macos7
Programming languages (10)
Github contributions (5)
mattn/go-gtk
Dec 2010 - Dec 2010
Go binding for GTK
Role in this project:
Full-stack Developer
Full-stack DeveloperContributions:8 commits in 9 days
Contributions summary:Mark primarily contributed to the `go-gtk` project by implementing new GTK widgets and functionalities, including `GtkFixed`, `GtkProgressBar`, and `GtkCheckMenuItem`. They expanded the Go bindings to support these widgets, adding the necessary types, functions, and examples. The user also fixed issues and performed code formatting to maintain the project's consistency.
gogtklinuxwindowsosx
Nazgand/NazgandLean4
Nov 2023 - Feb 2026
Contributions:147 pushes in 2 years 2 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.