Course using F#: Write your own tiny programming system(s)

This page summarizes the projects mentioned and recommended in the original post on

Our great sponsors
  • WorkOS - The modern API for authentication & user identity.
  • Onboard AI - ChatGPT with full context of any GitHub repo.
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • coollang-2020-fs

    Compiler of a small Scala subset

    Looks interesting.

    Once I saw it's a Czech university course using F#, I knew Tomáš Petříček would be the lecturer :)

    A couple years back, I wrote a compiler of tiny-ish scala subset in F# (the code is imperative, though)[1]


  • Teaching

    :mortar_board: Materials for my lectures including programming langauge design, software engineering and human-computer interaction. (by tpetricek)

    There seems to be a lot of confusion for this, unfortunately.

    Some more information can be found at (specifically, The course is currently ongoing. The videos and PDFs seem to be down, but I wouldn't be surprised if that's just because of hacker news overloading things.

    Seems neat, from the slides and demos.

  • WorkOS

    The modern API for authentication & user identity. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  • Avalonia.FuncUI

    Develop cross-plattform GUI Applications using F# and Avalonia!

  • Elm

    Compiler for Elm, a functional language for reliable webapps.

  • dotfiles

    dotfiles (by williamcotton)

    I started down this path sometime last year with Crafting Interpreters and I’ve gotten obsessed with this entire world since. I wrote a little language [0] using Python Lex Yacc a couple of months ago at work because I wanted an awk-like way to quickly make graphs/charts from the CLI. Then I wrote a parser-as-a-type in TypeScript [1] for the same grammar.

    My plan was to take a look at OCaml for future tinkerings with parsers, but man, F# is already looking very familiar between TypeScript and Lex/Yacc-like things.

    Thanks for this post, I think I might have a new favorite language in the oven!



  • Fabulous.Avalonia

    Declarative UIs for Avalonia with F# and MVU, using Fabulous

    Also take a look at Fabulous[1]. The code with it looks nicer than Avalonia.FuncUI.


NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts