Tomas Petricek Tomas Petricek

Tracking 7.92K commits to 287 open source packages

Academic interested in new ways of thinking about programming and history & philosophy of computing. Likes @fsharp, created @the-gamma & @fsharpworks member.


Homepage: http://tomasp.net

Company: Charles University

Location: Prague

Repositories

tpetricek/FSharp.AsyncExtensions
[ARCHIVED] Extensions for asynchronous programming in F#
F# - Apache-2.0 - Last pushed - 38 stars - 11 forks
tpetricek/Documents
Includes samples for my blog posts, source code and slides for my talks and other resources.
F# - Last pushed - 71 stars - 35 forks
tpetricek/Talks
Materials from recent talks (for talks before 2015, see the "Documents" repo)
JavaScript - Last pushed - 40 stars - 12 forks
tpetricek/Haskell.Joinads
Haskell implementation of Joinads
Haskell - Other - Last pushed - 8 stars - 1 forks
tpetricek/tiny-systems
tv Source code with tasks from my "Write your own tiny programming system(s)!" course at Charle...
F# - Last pushed - 32 stars - 9 forks
tpetricek/Teaching
mortar_board Materials for my lectures including programming langauge design, software engineer...
Jupyter Notebook - Last pushed - 38 stars - 4 forks
See all Tomas Petricek's repositories

Repositories Contributed To

ZachBray/FunScript
F# to JavaScript compiler with JQuery etc. mappings through a TypeScript type provider
F# - Apache-2.0 - Last pushed - 448 stars - 95 forks
theimowski/ToyPaketCalculator
Toy Calculator project in F# for the purpose of demonstrating paket.local feature, which enables ...
F# - Unlicense - Last pushed - 0 stars - 1 forks
bigjonroberts/Flurl.fs
F# port of Flurl URL-building Library. - https://tmenier.github.io/Flurl/
F# - MIT - Last pushed - 0 stars
karlobrien/StockAnalysis
Port python tutorial over to F#
F# - Unlicense - Published - 0 stars
fabiomarreco/marreco.finance
ubiquitous language for finance
F# - Unlicense - Last pushed - 0 stars
elic-io/gotcha-contract
This repository is no longer available - 0 stars
See all Tomas Petricek's contributions

Last synced: 2016-04-17 21:50:01 UTC

Login to resync this page