Pinned Repositories
Ap-project
Formal-Verification-Course-List
in this repository I'm going to collect some courses related to formal verification in software engineering.
FTPSERVER
Simple FTP Server Implemented in C++
PersonalLibrary
PersonalLibrary application for SE project.
PySnake
simple Snake Game in PyGame
ST03_HW2
This repository contains all the code and specifications related to Homework 2 of the Advanced Software Testing course at UT.
Szpilman2.github.io
UT_Assembly
projects and exercises of assembly course in university of Tehran, created by Peyman Shabani
wyoos
Source codes for the "Write your own Operating System" video-series on YouTube
xdm
Powerfull download accelerator and video downloader
Szpilman2's Repositories
Szpilman2/PersonalLibrary
PersonalLibrary application for SE project.
Szpilman2/wyoos
Source codes for the "Write your own Operating System" video-series on YouTube
Szpilman2/Ap-project
Szpilman2/Formal-Verification-Course-List
in this repository I'm going to collect some courses related to formal verification in software engineering.
Szpilman2/FTPSERVER
Simple FTP Server Implemented in C++
Szpilman2/PySnake
simple Snake Game in PyGame
Szpilman2/ST03_HW2
This repository contains all the code and specifications related to Homework 2 of the Advanced Software Testing course at UT.
Szpilman2/Szpilman2.github.io
Szpilman2/UT_Assembly
projects and exercises of assembly course in university of Tehran, created by Peyman Shabani
Szpilman2/xdm
Powerfull download accelerator and video downloader
Szpilman2/WCET-BCET-Malardalen
Set of malardalen benchmarks for WCET and BCET estimation