tpetricek/teaching
tpetricek/teaching has 119 GitHub stars and 6 forks. GitHot measured 0 stars in 24 hours. Last checked 2026-11-14 20:15 UTC. Last push 2026-11-06.
Crecimiento de estrellas medido
- in 24h
- 0
- in 7 days
- Recopilando historial
- in 15 days
- Recopilando historial
- in 1 month
- Recopilando historial
Cambios netos en períodos que se solapan, no totales diarios. Los datos no disponibles se dejan en blanco. Las estrellas indican interés, no calidad.
Acerca de
:mortar_board: Materials for my lectures including programming langauge design, software engineering and human-computer interaction.
AprendizajeREADME.md
OriginalTomas Petricek's teaching
This repository contains various teaching materials I created for the courses taught at Charles University and University of Kent. The materials use reveal.js and are generally generated from Markdown using F# Formatting. For my industry and research talks see my Talks repository and for older materials (before 2015), check out my old Documents repository.
Current courses at Matfyz
Theory of Programming Languages (2026) - For more information, see the official course page. See slides for Introduction and operational semantics, Types for an imperative language, Properties of a small imperative language, and Tuples, records and subtyping. More slides coming soon.
Cultures of programming (2026) - For more information, see the official course page. See list of currently available slides and Cultures of programming lectures on YouTube.
Functions, trees, processes (2026) - For more information, see the official course page. See slides for Introduction, functions on early computers, functions and functional programming; and more coming soon.
Past courses at Matfyz
Write your own tiny programming system(s)! (2025) - For more information, see the official course page. For videos, see also Write your own tiny programming system(s)! on YouTube.
Programming Language Design (2024) - For more information see the official course page. Slides are available here. Start here for links to individual lectures.
Advanced C# Programming - Labs (2024) - See the official course page. I created additional materials and demos from my labs.
Write your own tiny programming system(s)! (2023) - See the archived course page with recorded videos from 2023 (but 2025 is better!). Slides are available here. Start here for links to individual lectures.
Guest lecture at Concepts in Modern Programming (2023) - You can find slides from my lecture Advanced Types in TypeScript here.
Guest lecture at Functional Programming (2023) - You can find slides from my lecture Effects and Coeffects here.
Programming Language Design (2022) - For more information see the official course page. Archived slides are available here. Start here for links to individual lectures. (But the 2024 version is better!)
Courses at University of Kent (2018-2022)
- CO886 - Software Engineering (2022)
- CO886 - Software Engineering - Class Materials (2022)
- CO559 - Software Development (2022)
- CO582 - Computer Interaction and User Experience (2019)
- CO880 - Software Project and Dissertation (2022)
Materials license
The presentations and documents available in the repository are available under the Creative Commons Attribution 2.5 license. This means that you can copy, distribute and remix the work, but you must attribute the work to the author (by providing a link to the original source and my name). For more information see the full license details.