4
Repos
223
Stars
47
Forks
10
Watchers
Repositories (4)
teaching
tpetricek/teaching
F#
:mortar_board: Materials for my lectures including programming langauge design, software engineering and human-computer interaction.
117
6
tiny-systems-2023
tpetricek/tiny-systems-2023
F#
:tv: Source code with tasks from my "Write your own tiny programming system(s)!" course at Charles University. Follow the link below to watch the course online!
41
11
tiny-systems
tpetricek/tiny-systems
F#
:tv: Source code with tasks from my "Write your own tiny programming system(s)!" course at Charles University. Follow the link below to watch the course online!
39
12
tomasp.net
tpetricek/tomasp.net
HTML
Source code for my web site and blog - yet another remake!
26
18