tpetricek

Teaching

:mortar_board: Materials for my lectures including programming langauge design, software engineering and human-computer interaction.

Talks

:mortar_board: Slides from my recent talks on data science, data journalism, F#, programming language research and philosophy.

tiny-systems

: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!

tomasp.net

Source code for my web site and blog - yet another remake!

histogram

Source code for an interactive essay that explores the idea of representing programs not as source code, but as sequences of interactions with the programming environmnent.

basic

Source code for a minimal Commodore 64 BASIC interpreter and the essay "The Lost Ways of Programming: Commodore 64 BASIC"

nanospeak

limits-of-programming

covid-crowdfunding

Scraping and analytics scripts used for the data analytics from the "Covid-19, Charitable Giving and Collectivism a data-harvesting approach" paper.

techdims

habilitation

NPRG014

Supplementary materials for the course of "Concepts of Modern Programming Languages" (NPRG014) taught at Charles University, Prague, Czech Republic.

nprg038-advanced-csharp-labs

red-pandas

slides

type-providers-test

visdemo

challenge-problems

conf

dorchard.github.io

Website

fsharpConf

nswi117-livedemo

nswi177

nswi177-lab7

nswi177web

nwi117-lab10

someta

subnotebook

TypeScript

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

UniProtProvider

F# Type Provider for https://www.uniprot.org/