Skip to content
Avatar
859 followers · 0 following · 21

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

Organizations

@fsharp @fsprojects @fslaborg @fsharpworks @ionide @the-gamma @fssnippets @coeffects @alan-turing-institute @binderhub-test-org
Block or Report

Block or report tpetricek

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  1. the-gamma/thegamma-script

    ✒️ 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# 164 15

  2. coeffects/coeffects-playground

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

    JavaScript 51 5

  3. fslaborg/Deedle

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

    F# 735 186

  4. fsprojects/FSharp.Formatting

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

    F# 389 137

  5. fsprojects/FSharp.Data

    F# Data: Library for Data Access

    F# 655 269

  6. Talks

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

    JavaScript 77 14

191 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Mon Wed Fri
Learn how we count contributions
Less More

Contribution activity

July 2021

Created 1 commit in 1 repository
Created 1 repository

Created a pull request in kkgm13/fcodemin that received 1 comment

Add test project

I did this by starting from what you have, copying the "src/Client" folder into "tests/Client", renaming the project file and replacing the content…

+146 −262 • 1 comment

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