Courses and Slide resources for Introduction to Programming

Courses and Slide resources for Introduction to Programming

Introduction to Computer Computer Science and Programming

CS50’s Introduction to Computer Science
https://cs50.harvard.edu/x/2025/
https://cs50.ai/

Introduction to Computer Science
SEE, Stanford
https://see.stanford.edu/Course#Introduction%20to%20Computer%20Science

Department of Computer Science and Technology – Course pages 2024–25: Index of courses by lecturer
https://www.cl.cam.ac.uk/teaching/2425/lecturers.html

https://ocw.mit.edu/courses/6-0001-introduction-to-computer-science-and-programming-in-python-fall-2016/
https://web.mit.edu/6.001/6.037/sicp.pdf

Open Source Society University
https://github.com/ossu
https://github.com/ossu/computer-science

Freely available programming books
https://github.com/EbookFoundation/free-programming-books
https://ebookfoundation.github.io/free-programming-books/books/free-programming-books-langs.html

List of Free Learning Resources In Many Languages | free-programming-books
https://ebookfoundation.github.io/free-programming-books/

Database of Free Online Computer Science and Programming Books, Textbooks, and Lecture Notes
http://www.freetechbooks.com/

https://www.python.org/

BeginnersGuide/NonProgrammers - Python Wiki
https://wiki.python.org/moin/BeginnersGuide/NonProgrammers

https://pythonbook.org/

https://open.ed.ac.uk/introduction_to_python/

https://www.cs.cornell.edu/courses/cs1110/2016sp/lectures/index.php.html

https://academy.cs.cmu.edu/

https://www.theodinproject.com/

https://github.com/onysakura/news-daily/issues/4345

https://github.com/lnishan/awesome-competitive-programming

https://github.com/practical-tutorials/project-based-learning

https://github.com/sindresorhus/awesome

https://github.com/kamranahmedse/developer-roadmap

https://dev.to/nehasoni__/top-10-useful-github-repos-for-self-development-25c0

https://github.com/vinta/awesome-python

Agda Programming Language Foundations in Agda – Table of Contents
https://plfa.github.io/

Coq Software Foundations
https://softwarefoundations.cis.upenn.edu/

Lean enables correct, maintainable, and formally verified code
https://lean-lang.org/