- 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!
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!
