Prakhar Saxena
Software Engineer at Galoy
Delhi, India
Summary
🤩
Rockstar🎓
Top SchoolPrakhar Saxena is an open-source-focused software engineer from New Delhi with about seven years of experience building backend systems and contributing to prominent projects like SymPy and Lightning Dev Kit during Summer of Bitcoin. He holds a dual B.Tech/M.Tech in Civil Engineering from IIT (BHU) Varanasi but pivoted into software, where he’s contributed clear, example-driven documentation and symbolic-math tooling for the widely used pure-Python computer algebra system SymPy. Prakhar has interned and worked across startups and large firms—Cisco, OpenSats, and Summer of Bitcoin—and currently contributes at Galoy while remaining active in community mentoring through GSoC. Known for making complex mathematical concepts accessible in code, he blends rigorous academic training with practical open-source craftsmanship and a knack for developer-focused docs.
7 years of coding experience
2 years of employment as a software developer
Master of Technology - MTech, Civil Engineering, Master of Technology - MTech, Civil Engineering at Indian Institute of Technology (Banaras Hindu University), Varanasi
Github Skills (6)
mathematics10
computer-algebra10
math10
python10
documentation10
computer-algebra-system10
Programming languages (6)
Github contributions (5)
sympy/sympy
Dec 2019 - Aug 2022
A computer algebra system written in pure Python
Role in this project:
Back-end Developer
Back-end DeveloperContributions:45 reviews, 66 commits, 42 PRs in 2 years 8 months
Contributions summary:Prakhar primarily contributed to documentation and examples related to symbolic mathematics, specifically focusing on derivative substitution within the `sympy/sympy` repository. They provided detailed notes and examples demonstrating how to correctly substitute expressions, especially when dealing with derivatives. Their work involved modifying existing documentation files to clarify potential pitfalls and best practices for users of the SymPy library.
mathpythonsciencecomputer-algebra-systemalgebra
Psycho-Pirate/lnprototest
May 2022 - Mar 2025
Lightning BOLT Protocol Test Framework
Contributions:83 pushes, 8 branches in 2 years 10 months
boltartemisprotocollightningtest-framework
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.