Parsa Sadri's repositories
Binance-Trader
Simple Binance Trader as a Telegram Bot with TakeProfit and Stoploss Trades (exact number or percentage) feature
StepCounter-DeadReckoning
This is an Android application that solves Dead reckoning with help of step counter
EarthQuake-alert
A telegram bot that checks for earthquakes around Tehran in order to find earthquake foreshocks beforehand and alert users
Crash-Cause-Identifier
Identifying Inputs Causing Crash using Input Tagging and Propagation (Taint Analysis)
Cloud-Software-and-Systems-Course
Cloud Software and Systems Course Assignments
Dash.js-Custom-Rule
Custom Adaptive Bitrate rule for dash.js
Designing-and-Building-Scalable-Web-Applications
Course projects of Designing and Building Scalable Web Applications
filebrowser
đź“‚ Web File Browser
fstar-mode.el
Emacs support for F*
Gossip-Style-Membership-Protocol
A Membership protocol having failure detection using heartbeats based on a Gossip Protocol
machine_learning_with_python_jadi
The notebooks we use on ML course
ML-Course-Projects
ML Course Projects: Regression, Classification, Clustering, Recommender
Recommender-API
Recommender API, WebApp and App
Recommender-system
A Recommender system for movies, tv shows, books and games
Smart-Plant-Watering-System
Smart Plant Watering System using sensors and actuators
telegram-chat-analyzer
telegram chat analyzer gives you stats on who initiates conversations, time of chats and average response time
VerifyThis2024
VerifyThis2024 - Program verification competition
Viper-Verification-Exercises
Viper (Verification Infrastructure for Permission-​​based Reasoning) Exercises