Mason Soroka-Gill's starred repositories
a-mir-formality
a model of MIR and the Rust type/trait system
VerifierDLL
Example of building an application verifer DLL
Momentum-Firmware
🐬 Feature-rich, stable and customizable Flipper firmware
design-patterns-rust
Rust examples for all 23 classic GoF design patterns, and even a little more
opensnitch
OpenSnitch is a GNU/Linux interactive application firewall inspired by Little Snitch.
lattice-attack
Lattice ECDSA attack
TempleOfPwn
All Files, Scripts, and exploits can be found here
DefaultCreds-cheat-sheet
One place for all the default credentials to assist the Blue/Red teamers activities on finding devices with default password 🛡️
Hotline-Kentucky
This is a game https://github.com/Bitlus and I worked on for our final assignment in our Programming paper.
firefox-userchrome
My userChrome.css