tensorush / Awesome-Systems-Programming

😎 💡 Collection of the most awesome learning resources on computer systems in the form of videos, courses and tutorials.

😎 💡 Awesome Systems Programming

Animation by Étienne Jacob

👨‍🎓 Collection of the most awesome learning resources on computer systems in the form of videos, courses and tutorials

Table of Contents

• 🏎️ Assembly Programming
• ⛓️ Blockchain Technology
• 🤖 Circuit Design
• 🐲 Compiler Construction
• 🏙️ Computer Architecture
• 🛡️ Computer Security
• 🗃️ Database Systems
• 🧪 Debugging and Testing
• 🛏️ Embedded Systems
• 🐓 Formal Verification
• 🕸️ Distributed Systems
• 🐞 Operating Systems
• 👾 Platform Simulation
• 🧩 Programming Language Design
• ⏪ Reverse Engineering

🏎️ Assembly Programming

• 👨‍💻 LLVM Tutorials

• 👨‍💻 X16 Assembly Language Tutorials

• 👨‍💻 Z80 Assembly Language Tutorials

• 📖 Learn LLVM 12 Book by Kai Nacke

• 👨‍💻 NASM Assembly Language Tutorials

• 📖 The Holy Book of x86 by Arash Tohidi

• 📺 Modern x64 Assembly Videos by Creel

• 👨‍🏫 UNIX Weapons School Course by Nick Black

• 👨‍🏫 Introduction to ARM Course by David Thomas

• 📺 Intro to x86 Assembly Videos by Davy Wybiral

• 💭 Say Hello to x86_64 Assembly Blog Posts by 0xAX

• 📺 6502 Assembly Crash Course Videos by NesHacker

• 👨‍🏫 Introduction to NASM Course by Muhammed Yazar

• 📖 ARM Assembly Programming Book by Perry Kivolowitz

• 💭 Writing a Tiny x86 Bootloader Blog Post by Joe Bergeron

• 👨‍🏫 Assembly Language Programming Courses by Aven Bross

• 👨‍🏫 Assembly Language Programming Course by James Wilson

• 👨‍🏫 What If You Knew How Computers Work? Web Site by xorpd

• 👨‍🏫 x86 Assembly Primer for C Programmers Slides by Ivan Sergeev

• 📺 MIPS Assembly Language Programming Videos by Padraic Edgington

• 👨‍🏫 The Hardware/Software Interface Course from University of Washington

• 📖 Programming with 64-Bit ARM Assembly Language Book by Stephen Smith

• 👨‍🏫 The Secret Life of C++: What Your Compiler Doesn't Want You To Know Workshop by Richard Tibbetts

⛓️ Blockchain Technology

• 👨‍🏫 Zero Knowledge Proofs Course

• 👨‍🏫 CryptoZombies Solidity Courses

• 📺 Whiteboard Interviews by NEAR

• 📺 Blockchain for Beginners Videos by Bill Laboon

• 📖 Mastering Bitcoin Book by Andreas Antonopoulos

• 👨‍🏫 Decentralized Finance Course by Dan Boneh and others

• 👨‍🏫 Cryptocurrency Engineering and Design Course by Neha Narula and Tadge Dryja

• 👨‍🏫 Distributed and Parallel Systems Graduate Course from University of Washington

• 👨‍🏫 Blockchains and Distributed Ledgers Course by Aggelos Kiayias and Dimitris Karakostas

🤖 Circuit Design

• 👨‍🏫 Cornell ECE Open Courseware

• 📖 Lessons in Electric Circuits Book

• 👨‍🏫 MIPS CPU Course by Stanislav Zhelnio

• 👨‍🏫 Digital Electronics Course by Ian Wassell

• 👨‍🏫 Hardware Practical Classes by Ian Wassell

• 👨‍🏫 Complex Digital Systems Course by Arvind

• 👨‍🏫 Electrical Engineering from Khan Academy

• 📺 Analog Circuits Videos by Jordan Edmunds

• 📺 Analog Circuit Design Videos by Ali Hajimiri

• 👨‍🏫 Digital Circuit Design Course by Eric Hehner

• 👨‍🏫 Digital Circuit Design Course by Onur Mutlu

• 👨‍🏫 Build a 6502 Computer Tutorial by Ben Eater

• 👨‍🏫 Let’s Build a Video Card Tutorial by Ben Eater

• 👨‍🏫 Digital Circuits and Systems Course by Scott Hauck

• 👨‍🏫 Build an 8-bit Computer From Scratch Tutorial by Ben Eater

• 👨‍🏫 Advanced Logic Design Course from University of Washington

• 👨‍🏫 Microelectronic Devices and Circuits Course by Clifton Fonstad

• 👨‍💻 Learning FPGA, yosys, nextpnr, and RISC-V Tutorials by Bruno Levy

• 👨‍🏫 Introduction To Digital Design Course from University of Washington

• 👨‍🏫 High-speed Communication Circuits and Systems Course by Michael Perrott

• 👨‍🏫 Hardware Design and Implementation Course from University of Washington

• 👨‍🏫 Digital Circuits and Systems Course by Chris Terman, Krste Asanovic and Arvind

• 📽️ Digital Design Course Slides by Igor Smirnov, Pavel Kryukov and Alexander Titov

• 👨‍🏫 Theory of Parallel Hardware Course by Bradley Kuszmaul, Charles Leiserson and Michael Bender

• 📖 Parallel Programming for FPGAs Book by Ryan Kastner, Janarbek Matai and Stephen Neuendorffer

🐲 Compiler Construction

• 👨‍🏫 Compilers Course by Nicolas Laurent

• 👨‍🏫 Compilers Course by Fredrik Kjolstad

• 📺 Compilers Videos by Ghassan Shobaki

• 📺 The Sea of Nodes Video by Cliff Click

• 👨‍🏫 Compiler Design Course by Frank Pfenning

• 👨‍🏫 Compiler Construction Course by Pat Morin

• 🎥 Zig Compiler Live Streams by Andrew Kelley

• 📺 Coffee Compiler Club Videos by Cliff Click

• 📺 Creating a Compiler Videos by Joel Yliluoma

• 👨‍🏫 Compiler Construction Course by Eelco Visser

• 👨‍🏫 Advanced Compilers Course by David Van Horn

• 👨‍🏫 Optimising Compilers Course by Timothy Jones

• 👨‍🏫 Compiler Optimisation Course by Hugh Leather

• 👨‍🏫 Advanced Compilers Course by Adrian Sampson

• 👨‍🏫 Compiler Construction Course by Timothy Griffin

• 👨‍🏫 Compiler Construction Course by Alexander Kurz

• 👨‍🏫 Compilers Course by Jeremy Siek and Caner Derici

• 📺 Make a Compiler in C Videos by Sebastian Karlsson

• 👨‍🏫 Introduction to Compilers Course by Andrew Myers

• 👨‍💻 A Compiler Writing Journey Repo by Warren Toomey

• 📺 Building a Compiler in C# Videos by Immo Landwerth

• 👨‍🏫 Advanced Compiler Construction Course by Keith Cooper

• 👨‍🏫 Advanced Compiler Construction Course by Michel Schinz

• 👨‍🏫 Compiler Construction Course from University of Washington

• 👨‍🏫 Design and Construction of Compilers Course by Leonidas Fegaras

• 📺 Write a Programming Language Compiler Videos by Viktor Engelmann

• 📺 How to Build a Compiler with LLVM and MLIR Videos by Sameer Rahmani

• 👨‍🏫 Introduction to Compiler Construction Course from University of Washington

• 👨‍🏫 Compilers: Principles and Practice Course by Tiark Rompf and Oliver Bracevac

• 👨‍🏫 Compiler Construction Course by Sebastian Hack, Fabian Ritter and Roland Leißa

• 👨‍🏫 Computer Language Engineering Course by Saman Amarasinghe and Martin Rinard

• 📖 Implementing Programming Languages: An Introduction to Compilers and Interpreters Book by Aarne Ranta

🏙️ Computer Architecture

• 📺 Handmade Cities Videos

• ✍️ Computer Organisation Notes by Jiahao

• 📺 Computation Structures Videos from MIT

• 👨‍🏫 Digital Systems Course by Michael Spivey

• 👨‍🏫 The Great ISAs Course by Adrian Sampson

• 🌐 Memory Management Reference Web Site

• 👨‍🏫 Systems Principles Course by Lorenzo Alvisi

• 👨‍🏫 Systems Programming Course by Ken Birman

• 👨‍🏫 Computer Architecture Course by Onur Mutlu

• 📺 Systems Programming Videos by Chris Kanich

• 👨‍🏫 Computation Structures Course by Steve Ward

• 📺 Systems Programming Videos by Brook Jeynes

• 👨‍🏫 Computer Architecture Course by Charles Reiss

• 📺 CPU Architecture Videos by Mill Computing, Inc.

• 👨‍🏫 Computation Structures Course by Chris Terman

• 👨‍🏫 Computer Architecture Course by Andrei Tatarnikov

• 📖 Data-Oriented Design Resources by Daniele Bartolini

• 👨‍🏫 Computer Systems Course from Univerity of Washington

• 👨‍🏫 Computer System Engineering Course by Katrina LaCurts

• 👨‍🏫 Concepts in Multicore Computing Course by Angelina Lee

• 👨‍🏫 Applications of Parallel Computers Course by David Bindel

• 📺 Introduction to Computer Science Videos by Patrick Young

• 📺 Building a Simple Computer From Scratch Videos by Bitwise

• 👨‍🏫 Computer Architecture Course from Univerity of Washington

• 👨‍🏫 Performance-Aware Programming Course by Casey Muratori

• 📺 Terminal Performance Optimization Videos by Casey Muratori

• 👨‍🏫 Introduction to Computer Systems Course by Thomas Doeppner

• 👨‍🏫 Fundamentals of Computer Systems Course by Malte Schwarzkopf

• 👨‍🏫 Computer Systems Graduate Course from Univerity of Washington

• 👨‍🏫 Computer Architecture and Engineering Course by John Wawrzynek

• 👨‍🏫 Introduction to Computer Systems Course by Randal Bryant and others

• 👨‍🏫 Systems Programming and Machine Organization Course by Eddie Kohler

• 👨‍🏫 Introduction to Computer Systems Course by Zack Weinberg and Kyle Liang

• 👨‍🏫 Computer Architecture Course by Kirill Korolev, Oleg Ladin and Pavel Kryukov

• 👨‍🏫 Computer System Architecture Course by Joel Emer, Krste Asanovic and Arvind

• 👨‍🏫 Computer Systems Architecture Graduate Course from Univerity of Washington

• 📺 Introduction to Computer Organization and Architecture Videos by Padraic Edgington

• 👨‍🏫 Great Ideas in Computer Architecture Course by Connor McMahon and Nicholas Weaver

• 👨‍🏫 Performance Engineering of Software Systems Course by Charles Leiserson and Julian Shun

🛡️ Computer Security

• 👨‍🏫 Grad Security Course by Dave Levin

• 📺 Software Analysis Videos by Mayur Naik

• 📖 Crypto 101 Book by Laurens Van Houtven

• 👨‍🏫 Cryptography Course by Martin Kleppmann

• 👨‍🏫 Computer Security Course by Tom Ristenpart

• 👨‍🏫 Applied Cryptography Course by Tom Ristenpart

• 👨‍🏫 Language-Based Security Course by Andrew Myers

• 👨‍🏫 Advanced System Security Course by Fred Schneider

• 📺 Introduction to Cryptography Videos by Christof Paar

• 👨‍🏫 Defense Against the Dark Arts Course by Charles Reiss

• 👨‍🏫 Introduction to Cryptography Course by Jonathan Katz

• 👨‍🏫 Computer Security Course from Univerity of Washington

• 👨‍🏫 Computer Systems Security Course by Nickolai Zeldovich

• 👨‍🏫 Designing Secure Cryptography Course by Tom Ristenpart

• 👨‍🏫 Practicum in Computer Security Course by Tom Ristenpart

• 👨‍🏫 Security and Privacy Technologies Course by Tom Ristenpart

• 👨‍🏫 Software and Security Engineering Course by Ross Anderson

• 👨‍🏫 Cryptography for Computer Networks Course by Sam Bowne

• 👨‍🏫 Principles of Computer Systems Course by Nickolai Zeldovich

• 👨‍🏫 Computer & Network Security Course by Noah Miller and others

• 👨‍🏫 Software Foundations of Security and Privacy Course by Jean Yang

• ✍️ Cryptography Lecture Notes by Shafi Goldwasser and Mihir Bellare

• 👨‍🏫 Introduction to Linux Security Course by Brad Causey and Bobby Rogers

• 👨‍🏫 Introduction to Computer Security Course by David Brumley and Vyas Sekar

• 👨‍🏫 Software Foundations of Security & Privacy Course by Matt Fredrikson and others

• 👨‍🏫 Software Foundations of Security & Privacy Course by Matt Fredrikson and others

• 📖 High Assurance Rust: Developing Secure and Robust Software Book by Tiemoko Ballo

🗃️ Database Systems

• 👨‍🏫 Databases Course by Timothy Griffin

• 👨‍🏫 Database Systems Courses from TUM

• 📺 Relational Databases Videos by Brian Will

• 📺 Database Lessons Videos by Daniel Soper

• 👨‍💻 Let's Build a Simple Database Tutorial by Connor Stack

• 👨‍🏫 Database Systems Course by Lin Ma and Andrew Crotty

• 👨‍🏫 Database Systems Course by Samuel Madden and others

• 👨‍🏫 Database Management Systems Course by Amol Deshpande

• 👨‍🏫 Introduction to Database Systems Course by Immanuel Trummer

• 👨‍🏫 Database Systems Internals Course from Univerity of Washington

• 👨‍🏫 Topics in Probabilistic and Statistical Databases Course by Dan Suciu

• 👨‍🏫 Advanced Database Systems Course by Andy Pavlo and Matt Butrovich

• 👨‍🏫 Introduction to Database Systems Course from Univerity of Washington

• 👨‍🏫 Database, Internet and System Integration Technologies Course by George Kocur

• 👨‍🏫 Principles of Database Management Systems Graduate Course from Univerity of Washington

🧪 Debugging and Testing

• 👨‍🏫 Software Testing Course by Owolabi Legunsen

• 💭 Writing a Linux Debugger Blog Posts by Sy Brand

• 📺 Advanced Debugging with GDB Video by Viktor Engelmann

🛏️ Embedded Systems

• 📺 IEEE Videos from UCLA

• 🌐 Zig Embedded Group Web Site

• 📺 Embedded Systems Architecture Videos by Ben Juurlink

• 👨‍🏫 Real-time and Embedded Software Course by Milda Zizyte

• 👨‍🏫 Foundations of Embedded Systems Course by Cesare Tinelli

• 📺 Raspberry Pi Pico and RP2040: Deep Dive Videos by Uri Shaked

• 👨‍🏫 Software for Embedded Systems Course from Univerity of Washington

• 👨‍🏫 Introduction to Embedded Systems Course from Univerity of Washington

• 📺 AVR: Architecture, Assembly and Reverse Engineering Videos by Uri Shaked

🐓 Formal Verification

• 📽️ Types Project Lecture Slides

• 📖 Software Foundations Book Series

• 📺 Model Checking Videos by B. Srivathsan

• 👨‍🏫 Proof Automation Course by Talia Ringer

• 👨‍🏫 Logic and Verification Courses from TUM

• 👨‍🏫 The TLA+ Video Course by Leslie Lamport

• 👨‍🏫 Constructive Logic Course by Frank Pfenning

• 👨‍🏫 Runtime Verification Course by Owolabi Legunsen

• 🌐 DeepSpec Summer School on Verified Systems Web Site

• 👨‍🏫 Safety in Systems Programming Course by Thea Rossman

• 👨‍🏫 Formal Methods of Software Design Course by Eric Hehner

• 👨‍🏫 Systems and Formal Methods Course by Robbert van Renesse

• 📺 Introduction to Model Checking Videos by Joost-Pieter Katoen

• 👨‍🏫 Formal Methods in Software Engineering Course by Cesare Tinelli

• 👨‍🏫 Formal Methods in Software Development Course by Laura Dillon

• 👨‍🏫 Certified System Software Course by Greg Morrisett and Andrew Myers

• 👨‍🏫 Formal Mathematics and Proof Assistants Course by Josef Urban and Chad Brown

🕸️ Distributed Systems

• 📺 The Internet Videos by Brian Will

• 📖 WebRTC For The Curious Book

• 📖 High Performance Browser Networking Book by Ilya Grigorik

• 👨‍💻 Distributed Systems in Rust Course

• 👨‍💻 Low-Level Academy Course by Nikita Baksalyar

• 📺 Computer Networks Videos by Kenan Casey

• 📺 Distributed Systems Videos by Lindsey Kuper

• 👨‍🏫 Computer Networks Course by Nirupam Roy

• 👨‍🏫 Distributed Systems Course by Chris Colohan

• 👨‍🏫 Distributed Systems Course by Robert Morris

• 👨‍🏫 Distributed Systems Course by Dave Andersen

• 👨‍🏫 Distributed Systems Course by Nick DeMarinis

• 👨‍🏫 Computer Networks Course by Rachit Agarwal

• 👨‍💻 Practical Networked Applications in Rust Course

• 👨‍🏫 Distributed Computing Courses from ETH Zürich

• 👨‍🏫 Computer Networking Course by Andrew Moore

• 👨‍🏫 Cloud Computing Course by Evangelia Kalyvianaki

• 👨‍🏫 Advanced Systems Course by Robbert van Renesse

• 👨‍🏫 Learn How the Internet Works Tutorial by Ben Eater

• 👨‍🏫 Distributed Systems Course by Remzi Arpaci-Dusseau

• 💭 Let's Code a TCP/IP Stack Blog Posts by Sami Niiranen

• 👨‍🏫 Cornell Systems Lunch Course by Robbert van Renesse

• 📺 Professional Network Design Videos by Viktor Engelmann

• 👨‍🏫 Distributed Systems Course from Univerity of Washington

• 👨‍🏫 Languages for Computer Networks Course by Nate Foster

• 👨‍🏫 Distributed Computing Principles Course by Lorenzo Alvisi

• 👨‍🏫 Reliable Distributed Algorithms Part I Course by Seif Haridi

• 👨‍🏫 Reliable Distributed Algorithms Part II Course by Seif Haridi

• 🌐 The Illustrated QUIC Connection Web Site by Michael Driscoll

• 👨‍🏫 Computer Communication Networks Course by Rachit Agarwal

• 📺 Introduction to Computer Networking Course by Keith Winstein

• 👨‍🏫 Communication Systems Engineering Course by Eytan Modiano

• 📺 Information, Computing, Communication Videos by Philippe Janson

• 👨‍🏫 Introduction to Distributed Systems Course by Kyle Kingsbury and others

• 👨‍🏫 Data Communication Networks Course by Dimitri Bertsekas and Eytan Modiano

• 📖 Patterns of Distributed Systems Book by Unmesh Joshi

• 📖 Beej's Guide to Networking Concepts Book by Brian Hall

• 📖 Beej's Guide to Network Programming Book by Brian Hall

• 📖 Distributed Systems for Fun and Profit Book by Mikito Takada

• 📖 Beej's Guide to Interprocess Communication Book by Brian Hall

• 📖 Rust Atomics and Locks: Low-Level Concurrency in Practice Book by Mara Bos

• 📖 Computer Networking: A Top-down Approach Book by Jim Kurose and Keith Ross

• 📖 Computer Networks: A Systems Approach Book by Larry Peterson and Bruce Davie

• 👨‍🏫 Digital Communication Systems Course by Hari Balakrishnan and George Verghese

• 👨‍🏫 Concurrent and Distributed Systems Course by David Greaves and Martin Kleppmann

• 👨‍🏫 Computer Communication and Networks Graduate Course from Univerity of Washington

• 👨‍🏫 Introduction to Computer Communication Networks Course from Univerity of Washington

🐞 Operating Systems

• 🌐 OSDev Web Site

• 📖 OSDev Notes Book

• 🌐 OSDever Web Site

• 🌐 Unikernels Web Site

• 🌐 Linux Kernel Docs Web Site

• 👨‍🏫 Hack the Kernel Course

• 👨‍🏫 Operating Systems Course by Eike Ritter

• 📺 Operating Systems Videos by Neil Rhodes

• 👨‍🏫 Operating Systems Course by Charles Reiss

• 👨‍🏫 Operating Systems Course by Richard Mortier

• 👨‍🏫 Operating Systems Course by Ashok Agrawala

• 👨‍🏫 Operating Systems Meetup by Jiaxiao Zhou and others

• 📖 Operating Systems: From 0 to 1 Book by Tu Do

• 👨‍🏫 Operating Systems Course by Donnie Pinkston

• 📺 Operating Systems Videos by Ghassan Shobaki

• 👨‍🏫 Operating Systems Course by Andrei Tatarnikov

• 👨‍🏫 Operating Systems Course by Thomas Doeppner

• 👨‍💻 Kernel Development Tutorial by Brandon Friesen

• 👨‍🏫 Operating Systems in Rust Course by David Evans

• 👨‍🏫 Operating Systems Course by Robbert van Renesse

• 👨‍🏫 System Programming Course by Vladislav Shpilevoy

• 👨‍🏫 Writing an OS in Rust Course by Philipp Oppermann

• 👨‍🏫 Advanced Operating Systems Course by Gernot Heiser

• 👨‍🏫 Operating Systems Engineering Course by Adam Belay

• 👨‍💻 Multi-tasking OS kernel for ARM Tutorial by Jim Huang

• 👨‍💻 Linux Concurrency Programs Tutorial by Jim Huang

• 👨‍🏫 Advanced Operating Systems Course by Robert Watson

• 💭 Roll your own toy UNIX-clone OS Blog Posts by James Molloy

• 📺 Build a LinuxFromScratch System Videos by Viktor Engelmann

• 👨‍💻 How to Create an OS from Scratch Tutorial by Carlos Fenollosa

• 👨‍🏫 Advanced Operating Systems Course by Remzi Arpaci-Dusseau

• 👨‍🏫 Distributed and Operating Systems Course by Prashant Shenoy

• 📺 Write Your Own Operating System Videos by Viktor Engelmann

• 👨‍🏫 Practicum in Operating Systems Course by Robbert van Renesse

• 📖 Comprehensive Guide To UEFI Programming by Natalia Cholewa

• 👨‍🏫 Operating Systems and System Programming Course by Ion Stoica

• 👨‍🏫 Operating Systems Graduate Course from Univerity of Washington

• 👨‍🏫 Introduction to Operating Systems Course by Remzi Arpaci-Dusseau

• 📖 Operating Systems: Three Easy Pieces Book by Remzi Arpaci-Dusseau

• 👨‍🏫 Baking Pi – Operating Systems Development Course by Alex Chadwick

• 📖 The Little Book about OS Development by Erik Helin and Adam Renberg

• 📖 The Linux Kernel Module Programming Guide Book by Peter Salzman and others

• 👨‍🏫 Introduction to Operating Systems Course from Univerity of Washington

• 💭 Operating Systems Development for Dummies Blog Post by Leo Whitehead

• 👨‍🏫 Operating Systems and Networks Course by Torsten Hoefler and Adrian Perrig

• 💭 The Adventures of OS: Making a RISC-V Operating System using Rust Blog Posts by Stephen Marz

• 👨‍💻 Learning Operating System Development Using Linux Kernel and Raspberry Pi Tutorial by Sergey Matyukevich

👾 Platform Simulation

• 📺 Virtual Machine Summer School Videos

• 📽️ Virtualization Course by Remzi Arpaci-Dusseau

• 👨‍💻 Hack the Virtual Memory Tutorial by Julien Barbier

• 👨‍🏫 Virtual Machines and Managed Runtimes Course by Mario Wolczko

• 💭 So You Want to Build a Language VM Blog Posts by Fletcher Haynes

• 👨‍💻 Write your Own Virtual Machine Tutorial by Justin Meiners and Ryan Pendleton

• 📽️ Fundamentals of Full-Platform Simulation Course Slides by Evgenii Yulyugin and Grigory Rechistov

🧩 Programming Language Design

• 🌐 Hyperpolyglot Web Site

• 🌐 Learn X in Y Minutes Web Site

• 🌐 Syntax Across Languages Web Site

• 👨‍🏫 Types Course by Neel Krishnaswami

• 🌐 Programming Languages Zoo Web Site

• 📖 Modern C Book by Jens Gustedt

• 📖 Build Your Own Lisp Book by Daniel Holden

• 📖 Programming Languages Book by OpenDSA

• 👨‍🏫 Languages and Automata Course by Ray Toal

• 📺 Programming Languages Videos by Brian Will

• 📖 Crafting Interpreters Book by Robert Nystrom

• 👨‍🏫 Substructural Logics Course by Frank Pfenning

• 👨‍🏫 Programming Paradigms Course by Tim Dwyer

• 👨‍🏫 Programming Languages Course by Alex Aiken

• 👨‍🏫 Programming Languages Course by Nada Amin

• 👨‍🏫 Denotational Semantics Course by Marcelo Fiore

• 👨‍🏫 Oregon Programming Language Summer School

• 👨‍🏫 Programming Languages Course by Michael Spivey

• 👨‍💻 Grow Your Own Type System Repo by Tom Primozic

• 👨‍🏫 Programming Languages Course by Alexander Kurz

• 👨‍🏫 Formal Models of Language Course by Paula Buttery

• 👨‍🏫 Programming Languages Course by Mattox Beckman

• 👨‍🏫 Programming Language Implementation Summer School

• 👨‍🏫 Advanced Programming Languages Course by Owen Arden

• 👨‍🏫 Concepts in Programming Languages Course by Alan Mycroft

• 👨‍🏫 Advanced Programming Languages Course by Alexandra Silva

• 👨‍🏫 Types and Programming Languages Course by Frank Pfenning

• 👨‍🏫 EPFL/ETH Summer School on DSL Design and Implementation

• 📖 Counterexamples in Type Systems Book by Stephen Dolan

• 📺 A Programming Language for Games Videos by Jonathan Blow

• 👨‍🏫 Programming Languages Course from Univerity of Washington

• 👨‍🏫 Programming Languages and Logics Course by Adrian Sampson

• 📽️ Models of Programming Languages Slides by Paul-André Melliès

• 💭 Learning Parser Combinators with Rust Blog Post by Bodil Stokke

• 👨‍🏫 Special Topics in Programming Languages Course by Edward Yang

• 👨‍🏫 Foundations of Programming Languages Course by Frank Pfenning

• 👨‍🏫 Semantics of Programming Languages Course by Neel Krishnaswami

• 👨‍🏫 Multithreaded Parallelism: Languages and Compilers Course by Arvind

• 📺 Programming Language Development in C Videos by Dmitriy Kubyshkin

• 👨‍🏫 Programming Languages Graduate Course from Univerity of Washington

• 👨‍🏫 An Introduction to Constructive Type Theory Course by Robert Constable

• 📺 Structure and Interpretation of Computer Programs Videos by Code Report

• 📖 Concrete Semantics with Isabelle/HOL Book by Tobias Nipkow and Gerwin Klein

• 👨‍🏫 Programming Languages & Implementation Course from Univerity of Washington

• 👨‍🏫 Great Works in Programming Languages Course by Nate Foster and Rachit Nigam

• 👨‍🏫 Introduction to Computational Semantics Course by Weiwei Sun and Simone Teufel

• 👨‍🏫 Concepts of Programming Languages Graduate Course from Univerity of Washington

• 👨‍🏫 Implementation of Programming Languages Graduate Course from Univerity of Washington

• 👨‍🏫 Advanced Topics in Programming Languages Graduate Course from Univerity of Washington

• 👨‍🏫 Design and Implementation of Programming Languages Course by José Manuel Calderón Trilla

• 👨‍🏫 Design and Implementation of Domain-Specific Languages Course from Univerity of Washington

• 📖 Programming Language Foundations in Agda Book by Philip Wadler, Wen Kokke and Jeremy Siek

• 👨‍🏫 Structure and Interpretation of Computer Programs Course by Eric Grimson, Peter Szolovits and Trevor Darrell

• 📖 Structure and Interpretation of Computer Programs Book by Harold Abelson and Gerald Jay Sussman with Julie Sussman

⏪ Reverse Engineering

• 📺 Hack the Box Videos by PinkDraconian

• 📺 Binary Exploitation Videos by PwnFunction

• 📺 Binary Exploitation Videos by LiveOverflow

• 👨‍🏫 Hacking Mobile Devices Course by Sam Bowne

• 📺 Intro to Binary Exploitation Videos by CryptoCat

• 👨‍🏫 Practical Malware Analysis Course by Sam Bowne

• 📺 Reverse Engineering Videos by OpenSecurityTraining2

• 👨‍🏫 Reverse Engineering Courses by OpenSecurityTraining2

• 👨‍🏫 Malware Analysis Course by Rensselaer Polytechnic Institute

• 👨‍🏫 Introduction to Ethical Hacking Course by Dave Levin and others

• 👨‍🏫 Modern Binary Exploitation Course by Rensselaer Polytechnic Institute

• 👨‍🏫 Introduction to Reverse Engineering Course by Jonathan Katz and others