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
🕸️ Distributed Systems
🧪 Debugging and Testing
🛏️ Embedded Systems
🐓 Formal Verification
🐞 Operating Systems
🔀 Parallel Programming
👾 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
🌐 Memory Management Reference Web Site
✍️ Computer Organisation Notes by Jiahao
📺 Computation Structures Videos from MIT
👨‍🏫 Digital Systems Course by Michael Spivey
👨‍🏫 The Great ISAs Course by Adrian Sampson
🌐 How Microchips Work 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
📺 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

🕸️ Distributed Systems

🌐 Start Your Own ISP Web Site
📖 WebRTC For The Curious Book
📺 The Internet Videos by Brian Will
👨‍💻 Distributed Systems in Rust Course
📖 High Performance Browser Networking Book by Ilya Grigorik
👨‍💻 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
📖 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

🧪 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
👨‍🏫 Great Ideas in Theoretical Computer Science Course by Anil Ada and Anupam Gupta

🐞 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
💭 Making a RISC-V OS Blog Posts by traxys
💭 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

🔀 Parallel Programming

👨‍🏫 Parallel Programming Course by Rezaul Chowdhury
👨‍🏫 Applied Parallel Programming Course by Steve Lumetta
👨‍🏫 Multi-core Parallel Algorithms Course by Steve Lumetta
👨‍🏫 Massively Parallel Algorithms Course by Mohsen Ghaffari
👨‍🏫 Applications of Parallel Computers Course by David Bindel
👨‍🏫 Multiprocessor Synchronization Course by Maurice Herlihy
👨‍🏫 Parallel and Concurrent Algorithms Course by Guy Blelloch
📖 Parallel Computing: Theory and Practice Book by Umut Acar
👨‍🏫 Parallel Computing Course by Kayvon Fatahalian and Kunle Olukotun
👨‍🏫 Applications of Parallel Computers Course by Aydin Buluc and others
📖 Rust Atomics and Locks: Low-Level Concurrency in Practice Book by Mara Bos
👨‍🏫 Parallel Computer Architecture and Programming Course by Zhihao Jia and Dimitrios Skarlatos

👾 Platform Simulation

🧩 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