Alternatives and similar repositories for CS20200-Main:

Users that are interested in CS20200-Main are comparing it to the libraries listed below

• prosyslab-classroom / cs348-information-security
  ☆84Updated this week
• prosyslab-classroom / cs524-program-analysis
  ☆58Updated last week
• prosyslab-classroom / cs424-program-reasoning
  ☆43Updated last week
• KAIST-CS20200 / CheckAttendance
  Attendance Checker
  ☆4Updated 5 years ago
• program-repair-project / bugfixer-testbench
  ☆14Updated 2 years ago
• casys-kaist / pintos-kaist
  ☆210Updated last week
• program-repair-project / bug-localizer
  ☆14Updated 2 years ago
• hongseok-yang / logic21
  ☆22Updated 3 years ago
• prosyslab / pl-wiki
  ☆46Updated 3 weeks ago
• prosyslab-classroom / is593-language-based-security
  ☆28Updated last year
• utilForever / 2021-KAIST-Include-AlphaGoZero
  2021년 KAIST 동아리 Include 스터디 - AlphaGo와 AlphaGo Zero를 활용한 인공지능 바둑
  ☆69Updated 3 years ago
• kaist-cp / rust-school
  ☆76Updated 5 months ago
• ssimplexity / CS322_fall2024
  KAIST. Formal Languages and Automata. Fall semester.
  ☆17Updated 4 months ago
• ANLAB-KAIST / KENSv3
  This is an auto-generated repository from the whole source code, without reference solution source codes.
  ☆142Updated last month
• ssimplexity / CS492_spring2024
  KAIST. CS492 Algorithms for NP-hard Problems. Spring 2024.
  ☆18Updated 10 months ago
• KUNPL / KUThesis
  고려대학교 석·박사학위 논문 TeX 템플릿
  ☆63Updated 2 years ago
• swsnu / swppfall2019
  ☆31Updated 2 years ago
• hongseok-yang / logic23
  ☆15Updated last year
• WHLee-HGU / ChatGPTScrap
  ☆13Updated 2 years ago
• pingjuu / BLOOMFUZZ
  Unveiling Bluetooth L2CAP Vulnerabilities via State Cluster Fuzzing with Target-Oriented State Machines
  ☆23Updated last year
• simnalamburt / snucse
  Happy Campus Life
  ☆237Updated 3 years ago
• kchcoo / WegraLee-deep-learning-from-scratch
  ☆70Updated 5 years ago
• hspace-io / hacker-notebook-setup
  boardgame/hacker-notebook-setup
  ☆51Updated last month
• utilForever / 2024-HSPACE-Rust-LinuxKernel
  2024년 HSPACE 특강 - Rust 기초 프로그래밍 + 리눅스 커널 프로그래밍
  ☆42Updated 5 months ago
• hongseok-yang / graduatePL19
  ☆18Updated 5 years ago
• WegraLee / deep-learning-from-scratch-2
  『밑바닥부터 시작하는 딥러닝 ❷』(한빛미디어, 2019)
  ☆273Updated 5 months ago
• KerasKorea / KEKOxTutorial
  전 세계의 멋진 케라스 문서 및 튜토리얼을 한글화하여 케라스x코리아를 널리널리 이롭게합니다.
  ☆305Updated last year
• e9t / nsmc
  Naver sentiment movie corpus
  ☆577Updated 8 years ago
• SNU-ARC / 2024_spring_sysprog_Lab2
  ☆6Updated last year
• kupl-courses / COSE312-2023spring
  COSE 312 Compilers
  ☆36Updated last year