AnirudhG07/awesome-yazi
A collection of Yazi's Plugins, flavours and more resources.
I think I just need to work harder on myself more, than work.
Repositories
AnirudhG07/neuraloperator
Learning in infinite dimension with neural operators.
AnirudhG07/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.
AnirudhG07/AnirudhG07
Config files for my GitHub profile.
AnirudhG07/nbpreview.yazi
View your Jupyter notebooks beautifully in the preview
AnirudhG07/ChampSim
ChampSim is an open-source trace based simulator maintained at Texas A&M University and through the support of the computer architecture community.
AnirudhG07/PastaLean
Generating Lean code from Python code via a Python Abstract Syntax Tree
AnirudhG07/rich-preview.yazi
Preview file types using rich in Yazi
AnirudhG07/dotfiles
These are my personally set config files for my computer!
AnirudhG07/custom-shell.yazi
Set your custom-shell as default shell in yazi!
AnirudhG07/LeanHuffmanCoding
Lean for Huffmann Coding Algorithms, as a course Project for Proof and Programs 25.
AnirudhG07/archivemount.yazi
Mounting and unmounting archives in yazi
AnirudhG07/Typeinc
Typeinc is a cool ncurses based Typing Speed Test tool where you can enjoy typing experience in Terminal with different difficulty levels.
AnirudhG07/plugins-yazi
Yazi plugins repository created for containing plugins and flavours i make
AnirudhG07/LeanAide-lean4web
The Lean 4 web editor
AnirudhG07/verso-snippets
Get HTML code for snippets of Lean code
AnirudhG07/LeanBWT-Bzip2
Lean Bzip2 compression library using Burrows Wheeler Transformation.
AnirudhG07/Lmao
Lmao mathematicians when joking, but Lean
AnirudhG07/lean-metaprogramming-recipes
A cookbook for Metaprogramming in Lean4 containing code snippets to help you code!
AnirudhG07/velvet
An auto-active verifier embedded into Lean
AnirudhG07/PSMC-human-population
AnirudhG07/LeanLangur
Expositions and demos for Lean Prover
AnirudhG07/LeanAide_webserver
As the repo name suggests
AnirudhG07/LeanAide
Tools based on AI for helping with Lean 4
AnirudhG07/yazi-rs.github.io
Documentation site for Yazi.
AnirudhG07/ntfyme
Simple terminal command line notification tool on completion of your commands and processes.
AnirudhG07/proofs_with_verbose_lean
An introduction to proofs with Lean using controled natural language
AnirudhG07/LeanAide_Benchmark
Benchmarking and Evaluating LeanAide on Datasets
AnirudhG07/highlightjs-lean
A highlight.js language grammar for the Lean theorem proving language.
AnirudhG07/cmd_sandbox-rs
Command Sandboxing Curl in Rust using eBPF