venkyqz
🏫
-
-
Awesome-Static-Analysis Public
Excellent study resources for static program analysis
3 UpdatedDec 1, 2023 -
-
-
CS323-Lab-Exercise Public
Forked from john12306/CS323-2022FPublic repo for the course CS323 (Fall 2022) at SUSTech
C UpdatedJan 6, 2023 -
DAInfer Public
Forked from DAInfer/DAInferThis repository contains the implementation of our FSE 2024 paper: **DAInfer: Inferring API Aliasing Specifications from Library Documentation via Neurosymbolic Optimization**
Java UpdatedApr 28, 2024 -
docs Public
Forked from sismics/docsLightweight document management system packed with all the features you can expect from big expensive solutions
JavaScript GNU General Public License v2.0 UpdatedMay 21, 2024 -
-
SUSTech-CS-Notes Public
Forked from Sunt-ing/SUSTech-CS-Notes一名南科大CS本科生的课程笔记、考点预测和论文，包含CS和非CS的内容:rocket::rocket:
Java Other UpdatedApr 5, 2023 -
-
SUSTech-CS202-Pipellined-CPU Public
Forked from ZephyrusZhang/CS202-Final-HW-Pipellined-CPUVerilog UpdatedFeb 18, 2023 -
SUSTech-CS205-cppProject Public
5 projects from CS205 assigned by Prof.Shiqi Yu
-
-
-
-
-
Undergraduate Public
Forked from Trinkle23897/UndergraduateCollection of undergraduate course homework and projects
C++ MIT License UpdatedOct 25, 2019