4
Repos
221
Stars
43
Forks
221
Watchers
Repositories (4)
teaching
tpetricek/teaching
F#
:mortar_board: Materials for my lectures including programming langauge design, software engineering and human-computer interaction.
116
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!
38
8
tomasp.net
tpetricek/tomasp.net
HTML
Source code for my web site and blog - yet another remake!
26
18