Program Synthesis Course
268
108 commits
updated Mar 15, 2024
This repository is the public web page for the UCSD CSE graduate-level course on Program Synthesis.
cmsc430/cmsc430.github.io
CMSC 430 Design and Implementation of Programming Languages
52
nuprl/hopl-s2017
History of Programming Languages, Spring 2017
139
CSE498/Spring2026-CompanyB
Course repository for Spring 2026 session of CSE 498, Section 2 (Company B - Science)
3
Developer-Y/cs-video-courses
List of Computer Science courses with video lectures.
83,552
prakhar1989/awesome-courses
:books: List of awesome university courses for learning Computer Science!
71,348
Jimut123/cs772_repo
Common Repository for Assignments and projects
1
thunlp/BMCourse
The repo for Tsinghua summer course: Interdisciplinary Seminar on Big Models
371
ToposInstitute/poly
134
