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

This page summarizes the projects mentioned and recommended in the original post on news.ycombinator.com

InfluxDB - Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured
  • 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]

    [1]: https://github.com/mykolav/coollang-2020-fs

  • 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 https://github.com/tpetricek/Teaching (specifically, https://github.com/tpetricek/Teaching/tree/master/2023/tiny-...). 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.

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo
  • 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!

    [0] https://github.com/williamcotton/dotfiles/blob/master/bin/pl...

    [1] https://github.com/williamcotton/dotfiles/blob/master/bin/pl...

  • 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.

    [1]https://github.com/fabulous-dev/Fabulous.Avalonia

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

  • Exploring a foreign F# codebase

    4 projects | dev.to | 24 Feb 2024
  • Change F#'s Color on GitHub

    2 projects | news.ycombinator.com | 24 Jan 2024
  • Revisiting WASM for F#

    3 projects | dev.to | 16 Dec 2023
  • A new F# compiler feature: graph-based type-checking

    9 projects | news.ycombinator.com | 5 Nov 2023
  • Fable: an F# to Dart compiler

    1 project | /r/dartlang | 26 Sep 2023