recursion-ninja
Computer Scientist
Summary
🤩
RockstarComputer Scientist and Mathematician with 11 years of engineering experience focused on robust back-end systems and language tooling. Notable open-source work includes improving Cabal (the official Haskell package manager) by adding C/C++ separate compilation and linking support, enhancing preprocessing and package description features, and fixing FFI-related linking issues—practical contributions that bridge language ecosystems. Comfortable operating at the intersection of systems programming and build infrastructure, with a knack for diagnosing subtle cross-language integration problems. Known for thoughtful, test-driven fixes and for improving developer ergonomics in complex compilation workflows.
11 years of coding experience
Github Skills (10)
cabal10
c-language10
build-system10
cprogramming-language10
package-management10
haskell10
ffi9
ff9
c119
c179
Programming languages (14)
Github contributions (5)
haskell/cabal
Jun 2017 - May 2018
Official upstream development repository for Cabal and cabal-install
Role in this project:
Back-end Developer
Back-end DeveloperContributions:17 commits, 3 PRs, 1 push in 11 months
Contributions summary:recursion-ninja primarily worked on improving the build process for Cabal, a Haskell package management tool. Their contributions focused on enabling separate compilation and linking for C and C++ sources, introducing features to handle C++ source files, and correcting linking issues within different components. The user also integrated new fields into the package description format and made modifications to how the project handles pre-processing for C and C++ sources. They also introduced a test case related to foreign function interfaces.
hackagecabalhaskellupstream
recursion-ninja/ProjectEuler
Jan 2015 - Mar 2024
Contributions:41 pushes in 9 years 4 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.