tpetricek
Academic interested in new ways of thinking about programming and history & philosophy of computing. Likes @fsharp, created @the-gamma & @fsharpworks member.
Charles UniversityPrague
Pinned Repositories
Deedle
Easy to use .NET library for data and time series manipulation and for scientific programming
FSharp.Data
F# Data: Library for Data Access
reading-group
:notebook: Regular reading group of the Prague programming languages and systems research network.
thegamma-script
:black_nib: The Gamma lets anyone create transparent and open data visualizations that are linked to the original data source and encourages the reader to further explore data.
DeepDives
F# DeepDives
Documents
Includes samples for my blog posts, source code and slides for my talks and other resources.
elmish-spreadsheet
Implement your own Excel 365 in 100 lines of F#!
FSharp.AsyncExtensions
[ARCHIVED] Extensions for asynchronous programming in F#
Talks
:mortar_board: Slides from my recent talks on data science, data journalism, F#, programming language research and philosophy.
teaching
:mortar_board: Materials for my lectures including programming langauge design, software engineering and human-computer interaction.
tpetricek's Repositories
tpetricek/teaching
:mortar_board: Materials for my lectures including programming langauge design, software engineering and human-computer interaction.
tpetricek/Talks
:mortar_board: Slides from my recent talks on data science, data journalism, F#, programming language research and philosophy.
tpetricek/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!
tpetricek/tomasp.net
Source code for my web site and blog - yet another remake!
tpetricek/basic
Source code for a minimal Commodore 64 BASIC interpreter and the essay "The Lost Ways of Programming: Commodore 64 BASIC"
tpetricek/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.
tpetricek/nanospeak
tpetricek/cv
:pencil: I can no longer cope with maintaining of up-to-date academic CVs in the billions of possible required formats. Procrastinating with this instead!
tpetricek/Fun3D
Fun 3D: Composing 3D objects with F#
tpetricek/fsharp-course
tpetricek/critical-software-language
tpetricek/limits-of-programming
tpetricek/denicek-paper
tpetricek/nprg038-advanced-csharp-labs
tpetricek/techdims
tpetricek/habilitation
:black_nib: "Simple programming tools for data exploration" thesis that collects my work on type providers and other data science tools.
tpetricek/NPRG014
Supplementary materials for the course of "Concepts of Modern Programming Languages" (NPRG014) taught at Charles University, Prague, Czech Republic.
tpetricek/slides
tpetricek/type-providers-test
tpetricek/visdemo
tpetricek/dorchard.github.io
Website
tpetricek/fsharpConf
tpetricek/nswi117-livedemo
tpetricek/nswi177
tpetricek/nswi177-lab7
tpetricek/nswi177web
tpetricek/nwi117-lab10
tpetricek/someta
tpetricek/TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
tpetricek/UniProtProvider
F# Type Provider for https://www.uniprot.org/