Pinned Repositories
healthCredit
aave-starknet-bridge
Formal verification using certora prover of Bridge that bridges aTokens to Starknet for cheap AAVE rewards collection and token exchange
aave-token-v3
aave-v3-periphery_final
Formal verification of aave rewards controller contract using certora prover.
advent-of-code-rust
learning rust while doing advent of code
bittorrent_rust
Implementing bittorrent in rust
certora-carex
Gofocus
CLI tool for improving focus by blocking social media sites.
NASA_PROJECT
NASA website where user can launch their satellite to other planets.
node-express-course
himanshu-Bhatt's Repositories
himanshu-Bhatt/aave-starknet-bridge
Formal verification using certora prover of Bridge that bridges aTokens to Starknet for cheap AAVE rewards collection and token exchange
himanshu-Bhatt/aave-token-v3
himanshu-Bhatt/aave-v3-periphery_final
Formal verification of aave rewards controller contract using certora prover.
himanshu-Bhatt/advent-of-code-rust
learning rust while doing advent of code
himanshu-Bhatt/bittorrent_rust
Implementing bittorrent in rust
himanshu-Bhatt/certora-carex
himanshu-Bhatt/Gofocus
CLI tool for improving focus by blocking social media sites.
himanshu-Bhatt/NASA_PROJECT
NASA website where user can launch their satellite to other planets.
himanshu-Bhatt/node-express-course
himanshu-Bhatt/CertoraTutorials
Practical tutorials of Certora Prover
himanshu-Bhatt/DAA-geu
DAA repo for assinments and tutorials
himanshu-Bhatt/damn-vulnerable-defi
himanshu-Bhatt/demo
himanshu-Bhatt/distributed_systems_MIT
Labs of 6.5840 MIT distributed systems course.
himanshu-Bhatt/graph
himanshu-Bhatt/jenkins
himanshu-Bhatt/redis-rust
himanshu-Bhatt/rust_learning
himanshu-Bhatt/Rust_LLM
Chatbot with opensource large language models using rustformer/llm library. Made with Rust.(In progress)
himanshu-Bhatt/scaffold-eth-challenges
Scaffold-Eth 🏗 Challenges repository
himanshu-Bhatt/todo_rust
A todo api with rust,sqlx and postgresql. Learning project.