Discover @tpetricek Open Source projects

Tomas Petricek (@tpetricek)

tpetricek

Stars
928
Global Rank 31,645 (Top 2 %)
Followers 1,036
Registered over 13 years ago
Most used languages

F#
66.7 %

HTML
11.1 %

TeX
7.4 %

Jupyter Notebook
5.6 %

JavaScript
5.6 %

Haskell
1.9 %

C#
1.9 %
Location 🇨🇿 Czechia
Country Total Rank 151
Country Ranking

F#
2

HTML
18

Haskell
24

TeX
25

JavaScript
120

Jupyter Notebook
155

C#
739

elmish-spreadsheet

Implement your own Excel 365 in 100 lines of F#!

Teaching

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

Talks

🎓 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

FSharp.AsyncExtensions

[ARCHIVED] Extensions for asynchronous programming in F#

tiny-systems

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

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"

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.

new-year-tweets-2016

Happy New Year Tweets Accross the Globe

TryJoinads

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

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

nanospeak

anarchy-workshop

Fun3D

Fun 3D: Composing 3D objects with F#

prisoners-dilemma

NDC.Chat

Haskell.Joinads

Haskell implementation of Joinads

FunScript.Atom

Prototype atom package created using FunScript

FSharp.SVG

Domain specific language for composing SVG graphics

FSharp.Joinads

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

Research.TypeProviders

fable-tailcalls

Fable plugin that rewrites recursive functions with tail-calls into loops

FSharp.FsIntelliSense

Command line tool for calling the F# compiler

suave-fshome

Suave demo building F# homepage

okido-robot

A little game for 3+ year old kids based on a paper puzzle in the Okido magazine

SocialDrawing

Minimal Fable + Suave sample application

AdventOfCode

FSharp.Samples

Various assorted F# samples (not related to any blog post etc.)

fable-tutorial

Fable tutorial for Progressive F# 2016

PasswordValidator

Building stuff that works demo

limits-of-programming

cultures-of-programming-paper

fun-news

visualization-grammar

covid-crowdfunding

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

ionide-fslab-demos

Work in progress - integrating FsLab with Ionide FSI output

LambdaJam2014

FunctionalProgramming.Net

Source for the http://functional-programming.net web site

techdims

FSharp.Formatting.HandsOn

F# Formatting hands on

subtextish

qconsp-chat

Research.ComputationSyntax

google-sheets-fsharp

slides

Jupyter Notebook

Pollz

moon-bot-2

visdemo

Jupyter Notebook

QCon.Languages

habilitation

red-pandas

Jupyter Notebook

nprg038-advanced-csharp-labs