Top 8 F# Compiler Projects

VisualFSharp

5 3,651 9.7 F#

The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio

Project mention: Experimentation with Optimized Closures | /r/fsharp | 2023-03-31

There's docs about how the compiler generally does optimizations here: https://github.com/dotnet/fsharp/blob/main/docs/optimizations.md
Fable: F# |> BABEL

13 2,746 9.1 F#

F# to JavaScript, TypeScript, Python, Rust and Dart Compiler

Project mention: A new F# compiler feature: graph-based type-checking | news.ycombinator.com | 2023-11-05

Fable compiler - https://fable.io/
The F# community is very friendly (these sub-communities as well), and they have plenty of good issues/opportunities to contribute OSS work to across any skill level.
Phosphor isn't hiring right now, but we expect to begin a search for FE/interface engineers over the next few month. Email [email protected] for anyone interested.
Onboard AI

getonboard.dev
sponsored

Learn any GitHub repo in 59 seconds. Onboard AI learns any GitHub repo in minutes and lets you chat with it to locate functionality, understand different parts, and generate new code. Use it for free at www.getonboard.dev.
Rezoom.SQL

3 663 0.0 F#

Statically typechecks a common SQL dialect and translates it to various RDBMS backends

Project mention: Gente con experiencia: con qué nueva tecnología, lenguaje de programación o framework debería actualizarme hoy? | /r/devsarg | 2023-07-05
LinqOptimizer

0 476 0.0 F#

An automatic query optimizer-compiler for Sequential and Parallel LINQ.
FunScript

0 444 0.0 F#

F# to JavaScript compiler with JQuery etc. mappings through a TypeScript type provider
Fable.Python

1 116 0.0 F#

Python bindings for Fable

Project mention: How do you code in a non-statically typed, imperative language after learning F#? | /r/fsharp | 2023-03-17

Perhaps that is why https://fable.io/Fable.Python/ exists.
boba

1 45 0.0 F#

A general purpose statically-typed concatenative programming language. (by glossopoeia)

Project mention: AG unification is the solution for type inference with scientific units | /r/ProgrammingLanguages | 2023-02-15

I've done a small implementation, used in type inference, in my language Boba. And you are correct, I used the linear equation solving method.
InfluxDB

www.influxdata.com
sponsored

Collect and Analyze Billions of Data Points in Real Time. Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge.
coollang-2020-fs

1 37 0.0 F#

Compiler of Cool 2020 (a small Scala subset) into x86-64 assembly, in F#

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]
[1]: https://github.com/mykolav/coollang-2020-fs

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020). The latest post mention was on 2023-11-05.