hongseok-yang / probprog20

Related projects: ⓘ

• hongseok-yang / CLT21
  ☆34Updated 2 years ago
• hongseok-yang / probprog19
  ☆27Updated 5 years ago
• prosyslab / pl-wiki
  ☆43Updated 4 months ago
• hongseok-yang / logic21
  ☆20Updated 3 years ago
• hongseok-yang / graduatePL21
  ☆14Updated this week
• prosyslab-classroom / cs424-program-reasoning
  ☆44Updated last week
• hongseok-yang / graduatePL18
  ☆66Updated 5 years ago
• snu-sf-class / sf202301
  컴퓨터 신기술 특강
  ☆11Updated last year
• ssimplexity / CS492_spring2024
  KAIST. CS492 Algorithms for NP-hard Problems. Spring 2024.
  ☆18Updated 3 months ago
• kaist-cp / rust-school
  ☆75Updated 3 weeks ago
• prosyslab-classroom / hardcore-ocaml
  ☆12Updated 5 months ago
• hongseok-yang / graduatePL19
  ☆15Updated 4 years ago
• prosyslab-classroom / cs524-program-analysis
  ☆54Updated 3 months ago
• hongseok-yang / logic23
  ☆14Updated last year
• snu-sf-class / sf201802
  컴퓨터 신기술 특강
  ☆13Updated 5 years ago
• kupl / AlphaRegexPublic
  ☆33Updated 2 years ago
• ropas / zooberry
  A software framework for global sparse analyzers and their verified validators
  ☆22Updated 6 years ago
• zeze-zzz / AI_for_Education
  ☆33Updated 4 years ago
• aqjune / llvmscript
  One-for-all python script for running LLVM experiment
  ☆10Updated 2 years ago
• kaist-cp / cs500
  Moved to https://cp-git.kaist.ac.kr/jeehoon.kang/cs500
  ☆25Updated 3 years ago
• snu-sf-class / swpp202201
  ☆23Updated this week
• choco9966 / Dacon
  Dacon에서 진행하는 경진대회의 코드를 올려둔 공간입니다.
  ☆19Updated 3 years ago
• KUNPL / KUThesis
  고려대학교 석·박사학위 논문 TeX 템플릿
  ☆64Updated 2 years ago
• wikibook / xai
  《XAI 설명 가능한 인공지능, 인공지능을 해부하다》 예제 코드
  ☆42Updated last year
• ylemkimon / SNU-ECE-BSc-thesis-LaTeX-template
  서울대학교 전기정보공학부 학사 학위논문 LaTeX (비공식) 템플릿
  ☆12Updated 3 years ago
• simnalamburt / snucse.pl
  4190.310 Programming Languages (Fall 2015)
  ☆33Updated 6 years ago
• snu-sf-class / swpp202001
  ☆30Updated this week
• kaist-cp / software-foundations
  ☆11Updated this week
• sunggukcha / xor
  xor activation
  ☆26Updated 4 years ago
• norman3 / prml
  PRML study (pattern recognition & machine learning, Bishop)
  ☆90Updated 4 years ago