umd-cmsc330 / fall2022
☆30Updated last year
Alternatives and similar repositories for fall2022:
Users that are interested in fall2022 are comparing it to the libraries listed below
- ☆18Updated 3 years ago
- Rust-based toy operating system☆17Updated 3 weeks ago
- Lecture Notes for CMSC132: Object Oriented Programming II☆35Updated last year
- ☆27Updated 2 years ago
- a community for students at the university of maryland☆41Updated 8 months ago
- ☆50Updated last year
- List of projects and Discussion Repos for Github Classrooms☆30Updated last year
- Ekesh Kumar's Summer 2019 Notes for CMSC216☆26Updated 4 years ago
- NYU Tandon CS-UY 2124 Codes☆9Updated 3 years ago
- Course notes for CMSC 131: Object Oriented Programming I☆27Updated last year
- We combat sloppy arguments in competitive programming and raise the standard of rigor☆22Updated last month
- A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust☆114Updated 6 months ago
- Fully customizable HTML/CSS charts for Ruby on Rails 📊☆72Updated 9 months ago
- A garden of small programming language implementations 🪴☆197Updated this week
- University of Maryland CMSC351 Algorithms Spring 2016 Full Lecture Notes in Latex with accompanying style package☆72Updated 7 years ago
- The LLVM tutorial using OCaml☆27Updated last year
- Simple expression transformer that is not Coq.☆253Updated last year
- Did someone say... scuffed UCSD historical enrollment data?☆40Updated 2 months ago
- 👋 get to know me through my personal website!☆10Updated last year
- ☆19Updated 3 years ago
- Sets of LaTex course notes taken for various Math/CS classes at McGill University: currently include MATH 240, MATH 247, MATH 323 and a r…☆37Updated 3 years ago
- cé, avagy felsőbbrendű szintaxizálás☆15Updated last year
- ☆30Updated 3 months ago
- Resources for the UQCS competitive programming group☆20Updated 8 months ago
- Staged compilation with dependent types☆166Updated last week
- Pure OCaml bindings to the Discord API. Mirror of Gitlab repo.☆44Updated 3 years ago
- A programming language supporting most of both declarative and imperative programming☆50Updated last month
- Natural language tactics to teach mathematics using Lean 4☆57Updated this week
- Code challenges to solve with Haskell☆120Updated 2 years ago
- CIS 6700, Spring 2023☆17Updated last year