Szpilman2's Stars
ErfanPY/aparatPlayListDownloader
دانلود ویدئو های پلی لیست آپارات
SharifiZarchi/Introduction_to_Machine_Learning
Machine Learning Course, Sharif University of Technology
lamchau/refactoring-exercise
daviddenton/refactoring-golf
A Refactoring Golf exercise
rdinizcal/SEAMS18
Repo for versioning experimental Body Sensor Network (BSN) prototype on OpenDaVINCI, UPPAAL timed automata model and experimental data.
thomas-vogel/juppaal
Java API for working with UPPAAL model files
hub-se/PSP-UPPAAL
Property Specification Patterns for UPPAAL
GuiltiTer/ControlFlowGraph
A CPP14 Control Flow Graph extractor using Antlr4
analysis-tools-dev/static-analysis
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
christoph-ueker/bachelor-thesis
Official repository for the bachelor thesis "Learning UPPAAL Timed Automata from Network Protocol Traces"
mihaisoldan/RegionGraph
Reachability checking for Timed Automata using Region Graphs
beyazit-y/atac
ATAC: Automated Timed Automata Construction
farkasrebus/XtaBenchmarkSuite
A collection of timed automata for benchmarking.
MountAim/Graph-Coding-Minutes
Codes
rastikerdar/awesome-persian
لینکهای ایرانی توسعه و طراحی
Szpilman2/wyoos
Source codes for the "Write your own Operating System" video-series on YouTube
mtdvio/every-programmer-should-know
A collection of (mostly) technical things every software developer should know about
crazyguitar/pysheeet
Python Cheat Sheet
atenagm1375/assembly
Exercises and projects for assembly course-Spring 2018
pd-Shah/python_slide_Farsi