PR’s

  1. #4 : This was my first ever contribution to an open source project on GitHub. It is a flappy bird game where I added a title with an icon to the game(desktop based). It is written in python and uses pygame. Also update the README with the game version.

  2. #5 : I added controller support to the game, but it was for my controller(PS1). I eventually ended up closing this PR, because key mappings vary acorss different controllers.

  3. #111 : As I wanted to participate in GSoC 2025, so I polished and fixed some TODO in the Math.java file of Symbolic PathFinder. I added code that would check for NaN and the +0.0 and -0.0. Its written in java and does symbolic execution of programs.

Conclusion

I am planning to contribute more to the SPF project under The JPF Team, as it will help in understanding Java more and would also help me in my career ahead. Please refer to the commits and comments for more information.