Skip to content
View Praveen7294's full-sized avatar

Block or report Praveen7294

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please donโ€™t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this userโ€™s behavior. Learn more about reporting abuse.

Report abuse
Praveen7294/README.md

๐Ÿ‘‹ Hey, I'm Praveen Kumar

Typing SVG



๐Ÿ™‹โ€โ™‚๏ธ About Me

Backend Developer with hands-on experience building scalable systems using Java, Spring Boot, Redis, Kafka, and PostgreSQL. Active open-source contributor with 29+ merged PRs to production codebases (Checkstyle, Apache Pulsar). Strong problem-solver with 330+ competitive programming solutions across Codeforces and LeetCode.

  • ๐ŸŽ“ B.Tech in Computer Science โ€” College of Engineering Roorkee (2025)
  • ๐Ÿ”ฅ Passionate about Microservices, System Design, Cloud, and Clean Code
  • ๐Ÿ† Smart India Hackathon 2023 โ€” Top 16 Finalist
  • ๐Ÿ“ซ Reach me at praveen729483@gmail.com


๐Ÿ› ๏ธ Tech Stack

Languages

Java Python JavaScript

Backend & Frameworks

Spring Boot Kafka gRPC Redis REST APIs Microservices

Databases

PostgreSQL MySQL

DevOps & Testing

Docker AWS Git JUnit Maven



๐Ÿš€ Projects

๐Ÿ”ฅ Virality Engine โ€” Spring Boot ยท Redis ยท PostgreSQL ยท Docker

Redis-based social media virality simulation with bot guardrails and a real-time notification engine

  • Built a stateless backend with Redis as real-time processor and PostgreSQL as source of truth, containerized via Docker
  • Used Redis atomic operations (INCR, SETNX) to handle concurrency and prevent race conditions under 200+ concurrent requests with a strict 100-comment bot cap
  • Developed a notification engine with throttling and batching via Redis lists and Spring Scheduler to prevent spam at high frequency

๐Ÿฅ Patient Management System โ€” Spring Boot ยท gRPC ยท Kafka ยท Docker ยท AWS

Microservices-based patient records system with event-driven architecture

  • Architected a microservices system handling 1,000+ patient records with PostgreSQL optimization and JPA tuning
  • Implemented gRPC inter-service communication to reduce API latency; built Kafka event-driven architecture for async processing
  • Developed an API Gateway for centralized routing and auth; containerized with Docker and AWS LocalStack; achieved coverage with JUnit

๐ŸŽฎ Minecraft Server Hosting Platform โ€” Spring Boot ยท Docker ยท JavaScript

Web-based control panel for Minecraft server lifecycle management

  • Built REST APIs for server lifecycle management serving 10+ concurrent users with real-time monitoring via WebSockets
  • Integrated Remote.it for secure remote access; containerized with Docker reducing deployment time significantly


๐Ÿค Open Source Contributions

โœ… Checkstyle โ€” Apr 2024 to Nov 2024

Java code quality tool used by 10,000+ developers worldwide

  • Contributed 29+ merged PRs to the production codebase
  • Resolved a critical 5-year-old indentation bug using ANTLR4 and AST analysis
  • Fixed i18n bugs and improved documentation quality

๐Ÿ”— View all merged PRs


โœ… Apache Pulsar โ€” Jun 2024 to Jul 2024

Distributed messaging platform used by major tech companies

  • Applied Checkstyle standards to 1,000+ test files, reducing code violations by 98%
  • Improved maintainability for enterprise users of the platform

๐Ÿ”— View all merged PRs



๐Ÿ† Achievements & Certifications

Achievement Details
๐Ÿฅ‡ Smart India Hackathon 2023 Top 16 Finalist โ€” Led ML-based Medicinal Plant Identification app using TensorFlow & Flutter (85% accuracy)
๐Ÿ… Software Engineering Job Simulation Forage (Nov 2024) โ€” Agile, Kafka, H2 Database, REST API development
๐Ÿ’ป Competitive Programming 280+ problems on Codeforces ยท 50+ problems on LeetCode


๐Ÿ’ป Competitive Programming

ย 

Codeforces Stats LeetCode Stats


๐Ÿ“Š GitHub Stats

GitHub Stats Top Languages
GitHub Streak
Profile Summary


๐Ÿ“ฌ Let's Connect

I'm actively seeking Backend Developer or Software Engineer roles. If you have an opportunity or just want to connect โ€” I'd love to hear from you!

ย 


โญ If any of my projects or contributions were helpful, a star goes a long way!

Pinned Loading

  1. virality-engine virality-engine Public

    Redis-based guardrail and virality scoring system

    Java 1

  2. task-tracker task-tracker Public

    A cli based task tracker project.

    Java 1

  3. papermcminecraft papermcminecraft Public

    Java 1

  4. patient-management-system patient-management-system Public

    Java 1

  5. checkstyle checkstyle Public

    Forked from checkstyle/checkstyle

    Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly coโ€ฆ

    Java 1

  6. codeforces codeforces Public

    A collection of my solutions to Codeforces problems, organized by contest and problem. Implemented in Java.

    Java 1