Pinned Repositories
ACL_Task2
ACL_Task_1
aliexpress-replica
A Scalable Replica of the Chinese E-commerce Platform aliexpress.com
AutomaticTextGenerator-Haskell
Concepts of Programming Languages 2nd Project implemented by Haskell
coast-guard-solver
A solver for the Coast Guard Problem. Different search strategies were applied to achieve the goal.
DB-Engine
DoubleBigHarvard
Hearthstone
2D Computer game inspired by Hearthstone. Fully implemented using Java.
KotlinScriptRunner
prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
mohammadhossam's Repositories
mohammadhossam/aliexpress-replica
A Scalable Replica of the Chinese E-commerce Platform aliexpress.com
mohammadhossam/Hearthstone
2D Computer game inspired by Hearthstone. Fully implemented using Java.
mohammadhossam/DoubleBigHarvard
mohammadhossam/ACL_Task2
mohammadhossam/ACL_Task_1
mohammadhossam/AutomaticTextGenerator-Haskell
Concepts of Programming Languages 2nd Project implemented by Haskell
mohammadhossam/coast-guard-solver
A solver for the Coast Guard Problem. Different search strategies were applied to achieve the goal.
mohammadhossam/DB-Engine
mohammadhossam/KotlinScriptRunner
mohammadhossam/prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
mohammadhossam/rustlings
:crab: Small exercises to get you used to reading and writing Rust code!
mohammadhossam/CoastGuardPlan
mohammadhossam/GUCera
mohammadhossam/RecommendationSystem-Prolog
Concepts of Programming Languages 1st Project implemented by Prolog
mohammadhossam/juice-shop
OWASP Juice Shop: Probably the most modern and sophisticated insecure web application
mohammadhossam/odoo
Odoo. Open Source Apps To Grow Your Business.
mohammadhossam/The-good-the-bad-the-sad-the-mad-and-the-ugly-1
mohammadhossam/WheelDealer