Harvard-CS-1200 / cs1200
Public repository for CS 1200 (Intro to Algorithms and their Limitations)
☆36Updated 3 months ago
Alternatives and similar repositories for cs1200
Users that are interested in cs1200 are comparing it to the libraries listed below
Sorting:
- CS341 for Spring 2024☆10Updated 10 months ago
- This guide is what I did to get all 7 of my internships during my 4 years at university.☆36Updated 2 years ago
- An introduction to theorem proving in Lean for the impatient.☆188Updated 2 weeks ago
- Supplementary code for Introduction to Theoretical Computer Science book.☆65Updated last year
- This is a collation of freely and publicly available resources for STEP Prep collated into a useful central repository☆46Updated 10 months ago
- All of the lecture notes that I digitized while at the University of Toronto☆24Updated 3 years ago
- A compilation of lecture notes☆15Updated 6 years ago
- Java code from https://www.cut-the-knot.org/ written by Alexander Bogomolny☆26Updated 4 years ago
- Homepage of the BUGS Open Source Club☆13Updated last month
- Solutions to Understanding Analysis by Stephen Abbott (second edition)☆67Updated last year
- Math notes from my whole degree :-) (And one CS class, and some fun physics)☆24Updated last year
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆120Updated last year
- 🥇 A curated list of competitive math resources.☆48Updated 8 months ago
- Catalog Of Math Problems Formalized In Lean☆154Updated this week
- Autonomy on airside system☆19Updated 2 weeks ago
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆89Updated 6 months ago
- "Mathematics is the surest way to immortality. If you make a big discovery in mathematics, you will be remembered after everyone else wil…☆29Updated 5 years ago
- Source of metamath book☆48Updated last year
- A number guessing game with a p-adic twist.☆9Updated last year
- List of CS and Finance exploratory programs, underclassmen internships, interview prep, scholarships, part-time internships, mentorship p…☆243Updated last year
- Readings on computational logic, interactive theorem proving and functional programming.☆78Updated this week
- Code used in creating YouTube videos☆123Updated 3 months ago
- Calculus Guide☆16Updated 3 years ago
- CS 3510 TA Written Lecture Notes☆29Updated 2 years ago
- "Geometry has two great treasures; one is the Theorem of Pythagoras; the other, the division of a line into extreme and mean ratio. The f…☆14Updated 5 years ago
- UCalgary version of forallx, an introduction to formal logic☆106Updated 3 months ago
- CS61 lecture material☆97Updated 5 months ago
- A better method learning Math & Stats☆55Updated 2 months ago
- How to survive CMU as an ECE/CS major☆565Updated 10 months ago
- The collection of Summer 2023 Underclassman-specific internships☆57Updated 2 years ago