-
-
teaching Public
🎓 Materials for my lectures including programming langauge design, software engineering and human-computer interaction.
-
-
-
-
cv Public
📝 I can no longer cope with maintaining of up-to-date academic CVs in the billions of possible required formats. Procrastinating with this instead!
-
tomasp.net Public
Source code for my web site and blog - yet another remake!
-
habilitation Public
✒️ "Simple programming tools for data exploration" thesis that collects my work on type providers and other data science tools.
-
UniProtProvider Public
Forked from Senya-P/UniProtProviderF# Type Provider for https://www.uniprot.org/
F# UpdatedJun 12, 2024 -
-
-
-
tiny-systems Public
📺 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!
-
TypeScript Public
Forked from microsoft/TypeScriptTypeScript is a superset of JavaScript that compiles to clean JavaScript output.
TypeScript Apache License 2.0 UpdatedDec 21, 2023 -
NPRG014 Public
Forked from d3scomp/NPRG014Supplementary materials for the course of "Concepts of Modern Programming Languages" (NPRG014) taught at Charles University, Prague, Czech Republic.
-
Talks Public
🎓 Slides from my recent talks on data science, data journalism, F#, programming language research and philosophy.
-
-
-
-
-
-
-
-
-
-
-
histogram Public
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 Public
Source code for a minimal Commodore 64 BASIC interpreter and the essay "The Lost Ways of Programming: Commodore 64 BASIC"
{{ message }}