tpetricek/limits-of-programming

Stars
3
Rank 3,963,521 (Top 79 %)
Language
TeX
Created 10 months ago
Updated 10 months ago

tpetricek/limits-of-programming

tpetricek

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

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

basic

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

TryJoinads

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

nanospeak

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

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

cultures-of-programming-paper

fun-news

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

visualization-grammar

LambdaJam2014

FunctionalProgramming.Net

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

techdims

subtextish

FSharp.Formatting.HandsOn

F# Formatting hands on

qconsp-chat

Research.ComputationSyntax

google-sheets-fsharp

fsharp-course

slides

Jupyter Notebook

Pollz

moon-bot-2

visdemo

Jupyter Notebook

QCon.Languages

habilitation

red-pandas

Jupyter Notebook

type-providers-test

nprg038-advanced-csharp-labs