F# programming-language Projects
-
Teaching
:mortar_board: Materials for my lectures including programming langauge design, software engineering and human-computer interaction. (by tpetricek)
Project mention: Course using F#: Write your own tiny programming system(s) | news.ycombinator.com | 2023-11-02There 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.
-
Project mention: Course using F#: Write your own tiny programming system(s) | news.ycombinator.com | 2023-11-02
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]
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
F# programming-languages related posts
Index
Project | Stars | |
---|---|---|
1 | Teaching | 92 |
2 | coollang-2020-fs | 37 |