-
sisu Public
Forked from vipulkr14/sisuWe are optimizing the decision process for selecting vendors and tools to enable within an organization, to accelerate work for the CISO and security teams of the company. We achieve this by utiliz…
HTML GNU General Public License v3.0 UpdatedNov 16, 2025 -
NFC-ticket-design Public
Implementation of a secure protocol for a ticketing system using NFC smart cards and Android devices.
Java UpdatedJan 23, 2025 -
MicroViper-Verifier Public
A deductive program verification tool for MicroViper programming language
z3 formal-methods smt program-verification formal-verification deductive-reasoning deductive-verificationRust UpdatedJan 23, 2025 -
-
fstar-mode.el Public
Forked from FStarLang/fstar-mode.elEmacs support for F*
Emacs Lisp Apache License 2.0 UpdatedMar 12, 2024 -
telegram-chat-analyzer Public
telegram chat analyzer gives you stats on who initiates conversations, time of chats and average response time
Python UpdatedJan 28, 2024 -
Viper-Verification-Exercises Public
Viper (Verification Infrastructure for Permission-based Reasoning) Exercises
UpdatedJan 27, 2024 -
Crash-Cause-Identifier Public
Identifying Inputs Causing Crash using Input Tagging and Propagation (Taint Analysis)
Python UpdatedJan 27, 2024 -
Program_Analysis_Course Public
Forked from gtheodoridis/Program_Analysis_G4Python UpdatedNov 22, 2023 -
-
-
-
filebrowser Public
Forked from filebrowser/filebrowser📂 Web File Browser
Go Apache License 2.0 UpdatedJun 12, 2023 -
-
-
StepCounter-DeadReckoning Public
This is an Android application that solves Dead reckoning with help of step counter
-
-
EarthQuake-alert Public
A telegram bot that checks for earthquakes around Tehran in order to find earthquake foreshocks beforehand and alert users
-
-
-
Cloud Software and Systems Course Assignments
Python UpdatedNov 27, 2022 -
Course projects of Designing and Building Scalable Web Applications
Python UpdatedNov 5, 2022 -
-
A Membership protocol having failure detection using heartbeats based on a Gossip Protocol
C++ UpdatedAug 15, 2022 -
Recommender-system Public
A Recommender system for movies, tv shows, books and games
Python UpdatedJun 20, 2022 -
-
Binance-Trader Public
Simple Binance Trader as a Telegram Bot with TakeProfit and Stoploss Trades (exact number or percentage) feature
-
TR-CMD Public
Forked from MParvin/TR-CMDTelegram Remote Command Execution Bot - Safe & Easy way to run commands on remote Linux server (Without SSH)
Python UpdatedMar 17, 2022 -
ML-Course-Projects Public
ML Course Projects: Regression, Classification, Clustering, Recommender
Jupyter Notebook UpdatedNov 27, 2021 -
Smart-Plant-Watering-System Public
Smart Plant Watering System using sensors and actuators
C UpdatedNov 27, 2021
{{ message }}