Tomas Petricek

elmish-spreadsheet. Implement your own Excel 365 in 100 lines of F#!

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.

Documents. Includes samples for my blog posts, source code and slides for my talks and other resources.

DeepDives. F# DeepDives

FSharp.AsyncExtensions. [ARCHIVED] Extensions for asynchronous programming in F#

tiny-systems-2023. :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!

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!

tiny-boxer. A tiny programming system inspired by Boxer leveraging the HTML DOM structure. Illustrates naive realism, explicit structure and evaluation by copy & replace.

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.

TomaspNet.Website. (*Aug 2013 - †Aug 2016) Source code & hosting for http://tomasp.net

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

new-year-tweets-2016. Happy New Year Tweets Accross the Globe

FSharp.Data. Library of F# type providers and data access tools

TryJoinads. Source code of the www.tryjoinads.org project (web page only)

nanospeak. F#

Dojo-Suave-FsHome. F# Coding Dojo in which you learn how to build an F# homepage web site using Suave and deploy it to Heroku or Azure

anarchy-workshop.

suave-xplat-gettingstarted. Suave Azure Bootstrapper

fsharp-course. F#

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!

Fun3D. Fun 3D: Composing 3D objects with F#

prisoners-dilemma. F#

critical-software-theory. TeX

Deedle.BigDemo. BigDeedle demo showing how to use Deedle for working with very large time series and data frames stored in Azure table storage.

NDC.Chat. NDC Chat!!!

Haskell.Joinads. Haskell implementation of Joinads

FSharp.Joinads. F# samples that use the "match!" extension (and related additions to computation expression syntax).

FSharp.PowerPack. F# PowerPack (based on the Apache 2.0 code drop release)

FunScript.Atom. Prototype atom package created using FunScript

FSharp.SVG. Domain specific language for composing SVG graphics

Research.TypeProviders. TeX

PasswordValidator. Building stuff that works demo

google-sheets-fsharp. F#