Pinned Loading

1. symbolic-model-checking symbolic-model-checking Public

   1

2. data-structures-and-algorithms data-structures-and-algorithms Public

   projects for the data structures and algorithm course-fall 2023

   Python

3. FLAT-spring-2024 FLAT-spring-2024 Public

   Formal language and automata theory exams and homeworks with solution.

   2

4. behradbina/xv6_operating_oystem behradbina/xv6_operating_oystem Public

   A multi-phase project enhancing the xv6 operating system, a modern Unix v6 reimplementation. Improvements include console upgrades , and new system calls for file management, process monitoring, an…

   C

5. Signal-and-Systems Signal-and-Systems Public

   Signal and Systems course project-fall 2024

   MATLAB 1