F# Compiler

Open-source F# projects categorized as Compiler

Top 8 F# Compiler Projects

  • VisualFSharp

    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

    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

    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

    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

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

  • FunScript

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

  • Fable.Python

    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

    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

    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

    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.

F# Compiler related posts


What are some of the best open-source Compiler projects in F#? This list will help you:

Project Stars
1 VisualFSharp 3,651
2 Fable: F# |> BABEL 2,746
3 Rezoom.SQL 663
4 LinqOptimizer 476
5 FunScript 444
6 Fable.Python 116
7 boba 45
8 coollang-2020-fs 37
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives