Skip to content
Pro
Block or report user

Report or block tpetricek

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Organizations

@fsharp @fsprojects @fslaborg @fsharpworks @ionide @the-gamma @fssnippets @coeffects @alan-turing-institute
Block or report user

Report or block tpetricek

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Pinned

  1. ✒️ 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.

    F# 132 8

  2. 📝 Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.

    JavaScript 38 6

  3. Easy to use .NET library for data and time series manipulation and for scientific programming

    F# 597 145

  4. F# tools for generating documentation (Markdown processor and F# code formatter)

    F# 326 128

  5. F# Data: Library for Data Access

    HTML 540 252

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

    JavaScript 56 13

570 contributions in the last year

Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Mon Wed Fri

Contribution activity

September 2019

Created an issue in wrattler/wrattler that received 1 comment

[infra] Supporting BinderHub

Dockerfile route (we probably don't want this) Create a new docker image ("wrattler-everything") and add build script for it to the main Wrattler…

1 comment

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.