awesome-repositories.com
Blog
awesome-repositories.com

Descoperă cele mai bune repository-uri open source cu căutare AI.

ExploreazăCăutări recomandateAlternative open-sourceSoftware self-hostedBlogHartă site
ProiectDespreCum realizăm clasamentulPresăServer MCP
LegalConfidențialitateTermeni
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
·
D

dotnet/fsharp

0
View on GitHub↗

Fsharp

F# is a strongly typed, functional programming language and compiler for the .NET ecosystem. It transforms functional source code into Common Intermediate Language for execution on the .NET runtime and provides a foundational core library of primitive types and functions.

The language emphasizes immutability and uses a static, constraint-based type inference system to automatically determine variable types without requiring explicit user annotations. It also functions as a Language Server Protocol provider, exposing compiler logic through a service-based API to deliver real-time code analysis and intelligence to editors and IDEs.

The project covers the development of compiler infrastructure, the maintenance of the core language runtime, and the creation of tools for .NET application development.

Căutare AI

Explorează mai multe repository-uri excelente

Descrie ce ai nevoie în limbaj simplu — AI-ul sortează mii de proiecte open source selectate în funcție de relevanță.

Start searching with AI

Features

  • Functional Programming Compilers - Implements a full-scale compiler that transforms functional source code into Common Intermediate Language for the .NET runtime.
  • Source Code Compilers - Transforms functional source code into executable programs using a compiler and core library infrastructure.
  • Core .NET Libraries - Provides a foundational set of primitive types and functions required to execute programs within the .NET ecosystem.
  • Automatic Type Inferences - Determines variable types automatically using a constraint-based system without requiring explicit type annotations.
  • CIL Code Generation - Implements the translation of functional source code into Common Intermediate Language for execution on the .NET runtime.
  • Common Intermediate Languages - Compiles high-level constructs into a platform-neutral instruction set for execution on the .NET runtime.
  • Compiler APIs - Exposes internal compiler logic as a set of queryable services for providing real-time IDE intelligence.
  • Core Language Libraries - Links the language compiler to a foundational set of primitive types and functions required for execution.
  • Language Implementations - Provides a strongly typed, functional programming language emphasizing immutability and type inference.
  • Functional Programming Languages - Provides a strongly typed language based on the functional paradigm with an emphasis on immutability and type inference.
  • Constraint-Based Inference - Determines variable types automatically by solving a system of constraints without requiring explicit user annotations.
  • .NET Runtimes - Enables the creation of cross-platform programs that run on the .NET runtime using a strongly typed language.
  • Static Type Inference - Employs a constraint-based static type inference system to automatically determine variable types without requiring explicit user annotations.
  • Editor Tooling - Exposes compiler services to editors and IDEs to provide real-time code analysis and intelligence.
  • Language Server Protocols - Functions as a language server to deliver real-time code analysis and intelligence to editors and IDEs.
  • Language Intelligence Services - Provides editors with real-time code analysis, autocomplete, and type checking through a service-based compiler API.
  • Compiler Infrastructure - Provides the infrastructure for transforming source code into executable binaries and optimizing the compilation pipeline.
  • Multi-Pass Compiler Pipelines - Transforms source code through sequential phases of parsing, type checking, and intermediate language generation.
  • Immutable Data Management - Prioritizes non-changing data structures by default to ensure thread safety and predictable state transitions.
  • Core Frameworks - Functional-first language implementation and compiler tools.
  • Language Core - Primary language repository and compiler.
4,308 stele·865 fork-uri·F#·MIT·6 vizualizări

Istoric stele

Graficul istoricului de stele pentru dotnet/fsharpGraficul istoricului de stele pentru dotnet/fsharp

Întrebări frecvente

Ce face dotnet/fsharp?

F# is a strongly typed, functional programming language and compiler for the .NET ecosystem. It transforms functional source code into Common Intermediate Language for execution on the .NET runtime and provides a foundational core library of primitive types and functions.

Care sunt principalele funcționalități ale dotnet/fsharp?

Principalele funcționalități ale dotnet/fsharp sunt: Functional Programming Compilers, Source Code Compilers, Core .NET Libraries, Automatic Type Inferences, CIL Code Generation, Common Intermediate Languages, Compiler APIs, Core Language Libraries.

Care sunt câteva alternative open-source pentru dotnet/fsharp?

Alternativele open-source pentru dotnet/fsharp includ: dotnet/roslyn — The .NET Compiler Platform is a collection of open-source APIs for C# and Visual Basic that provides deep code… swiftlang/swift-evolution — Swift Evolution serves as the central governance and design platform for the Swift programming language. It provides a… frege/frege — Frege is a purely functional programming language that compiles to JVM bytecode, providing Haskell-like semantics for… elm/compiler — This project is a functional programming compiler and JavaScript transpiler that transforms a statically typed… ocaml/ocaml — OCaml is a strongly typed functional language featuring a sophisticated type system and a focus on safety and… mono/mono — Mono is an open source implementation of the .NET Framework that provides a managed execution environment, base class…

Alternative open-source pentru Fsharp

Proiecte open-source similare, clasificate după numărul de funcționalități comune cu Fsharp.
  • dotnet/roslynAvatar dotnet

    dotnet/roslyn

    20,241Vezi pe GitHub↗

    The .NET Compiler Platform is a collection of open-source APIs for C# and Visual Basic that provides deep code analysis, refactoring, and automated source code generation. It serves as the core infrastructure for building development tools, offering a platform to inspect, modify, and understand source code through immutable syntax trees and semantic models. The platform distinguishes itself by providing full-fidelity syntax trees that preserve every character of source code, including whitespace and comments, alongside an incremental compilation pipeline that enables near-instant feedback dur

    C#csharphacktoberfestroslyn
    Vezi pe GitHub↗20,241
  • swiftlang/swift-evolutionAvatar swiftlang

    swiftlang/swift-evolution

    15,854Vezi pe GitHub↗

    Swift Evolution serves as the central governance and design platform for the Swift programming language. It provides a structured, collaborative framework for tracking, discussing, and managing the formal proposals and technical goals that define the language's syntax, semantics, and core features. By maintaining a comprehensive collection of design documentation, the project ensures the long-term stability and consistency of the language as it matures. The repository acts as the primary hub for the language's evolution, coordinating community feedback and technical decisions through a transp

    Markdown
    Vezi pe GitHub↗15,854
  • frege/fregeAvatar Frege

    Frege/frege

    3,700Vezi pe GitHub↗

    Frege is a purely functional programming language that compiles to JVM bytecode, providing Haskell-like semantics for the Java platform. It is built around a Haskell-inspired compiler that implements non-strict evaluation and a static type inference system to ensure data immutability and prevent side effects. The project distinguishes itself through a sophisticated type system featuring rank polymorphism, type-class based dispatch, and static purity enforcement. It includes a JVM language bridge and a foreign function interface that map Java classes and interfaces into functional types, allow

    Frege
    Vezi pe GitHub↗3,700
  • elm/compilerAvatar elm

    elm/compiler

    7,794Vezi pe GitHub↗

    This project is a functional programming compiler and JavaScript transpiler that transforms a statically typed language into optimized JavaScript for web browsers. It serves as a frontend architecture framework, providing a static type system and a package manager that enforces semantic versioning. The compiler uses a type-checking engine with automatic type inference to prevent runtime errors and guide code refactoring. It implements a structural pattern for managing application state and rendering user interfaces through a virtual DOM, utilizing immutable data and purity-based state transit

    Haskellcompilerelm
    Vezi pe GitHub↗7,794
    • Vezi toate cele 30 alternative pentru Fsharp→