himanshu-Bhatt's repositories
aave-starknet-bridge
Formal verification using certora prover of Bridge that bridges aTokens to Starknet for cheap AAVE rewards collection and token exchange
Language:SolidityMIT000
Language:JavaScriptMIT000
aave-v3-periphery_final
Formal verification of aave rewards controller contract using certora prover.
Language:SolidityNOASSERTION000
advent-of-code-rust
learning rust while doing advent of code
Language:Rust000
bittorrent_rust
Implementing bittorrent in rust
Language:Rust000
Language:Solidity000
NASA_PROJECT
NASA website where user can launch their satellite to other planets.
Language:JavaScript000
Language:JavaScript000
CertoraTutorials
Practical tutorials of Certora Prover
GPL-3.0000
DAA-geu
DAA repo for assinments and tutorials
Language:C000
MIT000
Language:Solidity000
distributed_systems_MIT
Labs of 6.5840 MIT distributed systems course.
Language:Go000
Language:TypeScript000
000
Language:Makefile000
Rust_LLM
Chatbot with opensource large language models using rustformer/llm library. Made with Rust.(In progress)
Language:RustMIT000
scaffold-eth-challenges
Scaffold-Eth 🏗 Challenges repository
000
todo_rust
A todo api with rust,sqlx and postgresql. Learning project.
Language:Rust000