anirudhg07 Goto Github PK

followers: 17.0 following: 16.0 repos: 38.0 gists: 0.0

Name: Anirudh Gupta

Type: User

Bio: I am a UG in Btech studying in Indian Institute of Science, Bangalore. I work hard for my dreams, and I am eager to learn, achieve and be REAL!

Blog: https://www.linkedin.com/in/anirudh-gupta-45a52b295/

Hey, I'm Anirudh Gupta

A student at IISc Bangalore, BTech Mathematics & Computing

🔭 I’m currently working on GenerativeAI, Automated Theorem Proving in Mathematics, iGEM and Terminal Tools
🌱 I’m currently learning AI, LLM's and Lean
💬 Ask me about Music, Math, Me
⚡ Fun fact, Anime watchers hate people who say "Anime is Cartoon". Atleast I do!
Music is the soul of life. It connects our hearts with our actions.

My dev preferences

const anirudh = {
  OS : [MacOS, Linux],
  Terminal_Emulator: [iTerm, Warp, edex-ui], //edex-ui ROCKS!
  Shell: [zsh], // powered by oh-my-zsh and p10k!,
  Code-Editors: [NeoVim, VS Code], // depends on the language
  Languages: [Python, Go, C, Java, JS, `English`, `Hindi`], // LOL
  Hobbies: ["I love Terminal, CLI and TUI's. I have tons of TUI's and if something I want doesn't exist, well I am learning to make 'em",
             "I also love doing CTF's when I feel like doing."],
  Fav_TUIs: [Lazygit, Taskwarrior, Yazi], // Just my life saviour
  My-Creation's: [Cheatshh, Typeinc + Typeinc-mini]
}

I wanna explore more and love doing computer coding, math, and make Terminal cooler and cooler!

My Creativity and Self-Devs

and more...

yazi plugins

My main Colab-Projects

and more...

My Open Source Contributions

and more...

Connect with me:

Languages and Tools:

Github love!

Anirudh Gupta's Projects

archivemount.yazi

Mounting and unmounting archives in yazi

awesome

😎 Awesome lists about all kinds of interesting topics

awesome-shell

A curated list of awesome command-line frameworks, toolkits, guides and gizmos. Inspired by awesome-php.

awesome-tuis

List of projects that provide terminal user interfaces

awesome-yazi

Blazing Fast Yazi's Plugins, flavours and resources.

cheatshh

Cheatshh is a CLI tool to store commands and their descriptions in a place you can look into as cheatshheat so you dont have to remember them.

cheatshh.yazi

Save your commands in yazi-cheatshh, simply open it, copy any command and run it in your shell.

cli-apps

The largest Awesome Curated list of CLI/TUI applications with source data organized into CSV files

ctf-central07

This is the writeups for various CTF's I do, which are really good and worth noting down.

custom-shell.yazi

Set your custom-shell as default shell in yazi!

This project is a merge of several common DateTime operations on the form of extensions to System.DateTime, including natural date difference text (precise and human rounded), holidays and working days calculations on several culture locales.