umddb / cmsc424-fall2021
☆9Updated 2 years ago
Alternatives and similar repositories for cmsc424-fall2021:
Users that are interested in cmsc424-fall2021 are comparing it to the libraries listed below
- ☆34Updated 4 years ago
- Assignments for CMSC320 during the Spring 2021 Semester☆9Updated 3 years ago
- Supplementary course notes for Dr. Ilchul Yoon & Dr. A.U. Shankar's CMSC216 at the University of Maryland, compiled during my time as a T…☆13Updated 4 years ago
- ☆17Updated 9 months ago
- Elsa is a lambda calculus evaluator☆183Updated 7 months ago
- University of Maryland CMSC351 Algorithms Spring 2016 Full Lecture Notes in Latex with accompanying style package☆72Updated 7 years ago
- ☆248Updated 3 years ago
- ECE 252: Systems Programming and Concurrency☆224Updated last year
- ☆316Updated 2 years ago
- A collection of internship applications in a fancy excel-like website☆945Updated 6 months ago
- ☆74Updated 4 years ago
- ☆432Updated 2 years ago
- Canadian Job Postings for Winter 2023 Internships, Summer 2023 Internships, Fall 2023 Internships, and 2023 Start New Grad☆160Updated 2 years ago
- uwcsc moderated open contribution job board for internships and other job searching resources for the 2024 year☆57Updated 9 months ago
- Collection of Canadian tech internships☆368Updated last year
- ☆27Updated 2 years ago
- The People's Refinement Logic☆228Updated 2 years ago
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆116Updated 3 years ago
- Crowdsourced list of Canadian tech companies that are hiring interns for Fall 2022☆12Updated 2 years ago
- ☆217Updated 4 years ago
- deployment for smlhelp page☆37Updated last year
- A Turing complete language 😉☆40Updated 4 years ago
- ECE 459: Programming for Performance☆475Updated this week
- We combat sloppy arguments in competitive programming and raise the standard of rigor☆22Updated last month
- Educational Proof Assistant for Type Theory☆73Updated 5 months ago
- Collection of Fall 2022 tech internships!☆17Updated 2 years ago
- A collection of programming languages and type systems.☆33Updated 5 months ago
- ☆171Updated 4 years ago