Muhammad Hassnain

About
Rust
Projects
Publications
CV
Teaching
Blog
Literature

Repositories

This section contains some of my selected github repositories.

GitHub users

muhammad-hassnain

muhammad-hassnain

GitHub Repositories

davispl/rust-counterexamples

davispl/rust-counterexamples

davispl/cargo-sherlock

davispl/cargo-sherlock

davispl/lhs

davispl/lhs

muhammad-hassnain/cargo-guardian

muhammad-hassnain/cargo-guardian

PLSysSec/cargo-scan

PLSysSec/cargo-scan

muhammad-hassnain/ad-crawler

muhammad-hassnain/ad-crawler

muhammad-hassnain/ASL-Recognition-System

muhammad-hassnain/ASL-Recognition-System

© Copyright 2025 Muhammad Hassnain.