AD

Adheesh Trivedi

@adhxtry

Student in Indian Institute of Science Education and Research, Bhopal

Bhopal

Website

@adhtri001

Joined May 2021

19 Followers

20 Following

AI Insights & Achievements

32/ 100

Veteran

Coding for 5 years.

Profile README

About me

whoami

👋 I am Adheesh Trivedi!

🔭 I’m a student at IISER, Bhopal
📫 How to reach me: adheeshtrivedi@gmail.com
🎂 Birthday: 09^th January, 2004
🛕 My nationality is Indian

Languages

Brothers with 🤙 (Proficient)

Python
C++

Friends with 🤝 (Exploring)

Go
Typescript + HTML + CSS + React

Crush 😳 (Want to explore more)

Rust
Kotlin
Lua

That one friend we met online 😔 (Very previously learned)

Java
QBasic
BBTag

Currently Working On

✅ Formal Verification using Model Checking
🕸️ Graph theory (Specifically coloring problems)
🤖 Experimenting with AI and ML projects
📝 Writing technical blogs

Hobbies & Interests

🎸 Playing guitar and learning music theory
📈 Plotting fun equations on Desmos
🌏 Exploring new cultures and cuisines
⚙️ Getting upto date with tech news

Fun Facts

🦸‍♂️ Can recite Pi up to 20 digits (but only when caffeinated)
🦉 Night owl: Most productive after midnight
🧑‍💻 Writes code with dark mode only

Public Repos

18

Total Stars

10

Total Forks

0

Public Gists

1

Top Languages

Based on primary language of repositories

Recent Activity

Contribution Graph

Activity Timeline

Commits and contributions grouped by day, week, or month.

High productivity periods

Most active day: January 19th, 2026 • 9 contributions

Most active week: Jan 19–Jan 25 • 23 contributions

Most active month: Aug 2025 • 90 contributions

Starred fmhy/FMHY

February 1st, 2026 12:47 PM

Starred overleaf/overleaf

January 28th, 2026 4:04 PM

merged pull request in ElNiak/awesome-formal-verification

January 21st, 2026 9:44 AM

Starred z-libs/Zen-C

January 19th, 2026 5:10 PM

opened pull request in ElNiak/awesome-formal-verification

January 19th, 2026 6:01 AM

Pushed to patch-1 at adhxtry/awesome-formal-verification