Runestone Academy provides free online textbooks for mathematics and computer science.
Modern Computer Science Curriculum
Modern Computer Science Curriculum organizes learning topics including programming, mathematics, and algorithms.
About Modern Computer Science Curriculum
Modern Computer Science Curriculum is a web outline for studying computer science from a mostly functional viewpoint. It organizes topics in programming, mathematics, and algorithms around the idea that computation can be viewed as logic, programs, and categories. It points to external courses, books, lecture playlists, and proof assistants including SML, Agda, Lean 4, and Isabelle/HOL, with sections on type theory, proof theory, category theory, and applications such as compilers and network programming.
Key features
- Organizes programming study around SML and Agda courses
- Lists discrete math material formalized in Lean 4
- Collects algorithms resources on data structures and lower bounds
- Collects type theory books, lectures, and papers
- Collects proof theory resources on constructive logic and LF
- Lists category theory courses and programming workbooks
Best for: Readers who want a functional, logic-oriented map of computer science topics.
Good for
- Covers programming, math, and algorithms in one outline
- Names specific books, courses, and lecture playlists
- Includes proof assistants for checking work while studying
Modern Computer Science Curriculum at a glance
- Category
- Education & Learning › Learn to Code
- Type
- Website
- Pricing
- Not confirmed. Check the site
- Platforms
- Web
- Open source
- Not stated
- Language
- English
- Last checked
- Oct 5, 2026 · Online when checked
- Listed
- Oct 5, 2026
Modern Computer Science Curriculum alternatives
Tools and sites you could use instead, ranked by how closely they match.
Code.org, now CodeAI, provides free K–12 curriculum and tools for teaching digital fluency, computer science, and AI.
The Borr Project builds a broad computer science curriculum from online materials for foundational study.
Learn AI From Scratch presents a draft curriculum covering foundational topics for building an understanding of artificial intelligence.
This repository lists freely available learning resources across programming, mathematics, and science.
Open source
24 alternativesVirgilio organizes data science e-learning resources in a structured project overview.
Popular in Learn to Code
Well-known listings from the same topic.
Codelabscodelabs.developers.google.comScratchscratch.mit.eduTelegram Bot APIcore.telegram.org/botsStudent Developer Packeducation.github.com/packHacksplaininghacksplaining.comQB64SourceCodeqb64tutorial.com
Modern Computer Science Curriculum FAQ
What is this curriculum about?
It is described as a research dive into computational trinitarianism, where computation is viewed through logic, programs, and categories.
Which proof assistants are mentioned?
Programming sections use the language itself as the proof assistant, while math sections reference Lean 4 and the Ask proof assistant.
Is something wrong or out of date?
Tell us and an editor will check it.
Own this website?
Claim this listing
Claim the listing and suggest updates yourself. An editor checks every claim first.