uva-cs / pdr
A repo for a Program and Data Representation university-level course
☆91Updated last year
Related projects ⓘ
Alternatives and complementary repositories for pdr
- CS61 lecture material☆90Updated last week
- Chickadee OS for Harvard CS 161☆89Updated 8 months ago
- ☆118Updated last year
- Source code for the "C Unleashed" book by Richard Heathfield, Lawrence Kirby, et al.☆70Updated 3 years ago
- A repo for a Program and Data Representation university-level course☆38Updated 6 years ago
- Code examples for tutoring modern C++☆89Updated 4 months ago
- Lab assignments for 6.826☆13Updated 4 years ago
- Example code for compilers textbook.☆169Updated last year
- The basics of low-level concurrency in a sub-30 minute read☆178Updated 3 years ago
- ☆51Updated 6 months ago
- class repo for cs140e, stanford winter quarter 2022☆51Updated 2 years ago
- Detailed solutions to assignments of MIT's Operating Systems Engineering course☆51Updated 6 months ago
- xv6 OS [version for Reiss's CS4414]☆12Updated last year
- Commentary for xv6-public☆249Updated 4 years ago
- An unofficial guide to contributing to GCC, aimed at newbies☆110Updated last month
- An advanced benchmarking tool☆144Updated 2 years ago
- Implement a Lisp, in C, from scratch, no libs☆79Updated 2 years ago
- ☆57Updated last year
- ☆386Updated 4 years ago
- UCLID5: formal modeling, verification, and synthesis of computational systems☆136Updated last week
- A repo for a Program and Data Representation university-level course☆114Updated last year
- course materials for cs240lx @ stanford☆20Updated 4 years ago
- CS 241 course website☆28Updated this week
- Sample Code for “Sequential and Parallel Algorithms and Data Structures -- The Basic Toolbox” Book☆23Updated 7 years ago
- GNU linker script language support for vscode.☆21Updated 11 months ago
- Learn C and C++ through annotated examples☆25Updated this week
- A fork of cscope from sourceforge with assignment searches added, with enhancements to support pycscope☆23Updated 12 years ago
- This is my rearrangement of IUB 2009 P523 uploaded files opensourced on github in different repos.All copyright belongs to R. Kent/A. Kee…☆11Updated 3 years ago
- ☆63Updated 5 years ago
- Summary for Stanford class CS243 - Program Analysis and Optimizations | Winter 2016☆30Updated 8 years ago