• I am a student of Indian Institute of Science, Bengaluru.
• I like to do research. As a hobby, I like to do command line tools dev and customising them more and more here and there!
• I am a UG and trying my best to do as much as I can.
• I am currently working on Autoformalization in Lean4, learning Rust and Open Source Contributions!
• "I am funny to chosen, randomly selected (with a nerd-biased probability distribution) individuals."

I sometimes write some blogs about my work and interests, check them out at: https://anirudhg07.hashnode.dev!

[!Important] Please ⭐ and contribute to my new repo AnirudhG07/no-sudo-unix which shares tips and tricks on download terminal tools in Unix without sudo, anywhere. Thanks!

My dev preferences

const anirudh = {
  os : ['MacOS', 'Nix'],
  terminal_emulator: ['Ghostty', 'edex-ui'], //edex-ui Pretty!
  shell: ['zsh'], // powered by Zinit!
  code_editors: ['NeoVim', 'VS Code'], // VS Code with NeoVim extension obviously :)
  languages: ['Python', 'Rust, 'Lean4', 'C', '`Japanese`'], // LOL
  hobbies: ["Math", "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.", "I like using computational power for solving math problems."],
  fav_tuis: ['Lazygit', 'Yazi', 'Tmux'], // Just my life saviour
  fav_pkg_managers: ['nixpkgs', 'uv (python)']
  my_creation's: ['Cheatshh', 'Typeinc + Typeinc-mini', 'morseet', 'ntfyme']
}

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/Course Projects

My Open Source Contributions

Connect with me:

Github love!