FStar

Similar projects

Found by comparing what the projects do, not just their names.

• dotnet/fsharp3.9K

  F# compiler

  The F# compiler, core library, and tools provide a platform for building functional programs in a statically typed language.

• fsprojects/fantomas777

  Code formatter

  Automatically formats F# source code to improve readability and consistency

• fsprojects/ifsharp442

  F# notebook editor

  An implementation of F# language support in Jupyter Notebooks for .NET and Mono environments.

• kongware/ftor44

  FP tool

  A programming language and runtime system designed to provide type-directed functional programming in JavaScript with debugging support

• fsprojects/fsharpplus857

  Code enhancer

  Extends F# with functional programming techniques and generic functions to simplify development and improve code reuse.

• mrakgr/the-spiral-language925

  FP Language

  A functional programming language with advanced features like intensional polymorphism and staging, designed to support high-performance computations on GPUs.

• never-lang/never436

  FP language

  A simple functional programming language with a compiler and virtual machine

• alanvf/star130

  Programming language

  An experimental programming language designed to be powerful, productive, and predictable with features like type specialization and rich standard libraries.

• koka-lang/koka3.3K

  Effective language

  A research language with effect types and handlers for building concurrent, efficient programs

• fsprojects/fsharpx.async94

  Async utilities

  Utilities for asynchronous programming in F#

• fsharp/emacs-fsharp-mode209

  F# IDE

  Provides support and tools for the F# programming language within the Emacs text editor.

• fsprojects/fsxaml171

  XAML toolkit

  A set of F# libraries and tools for working with XAML projects.

• cmeeren/facil141

  Data access generator

  Automates generation of F# data access code from SQL queries and stored procedures.

• fuechs/fux11

  Programming language

  A modern programming language designed to eliminate common issues and provide efficient performance while being easy to write and read.

• zesterer/tao1.1K

  Functional language project

  A statically-typed functional language with extensive type system features and optimization techniques, aimed at supporting totality, optimization, learning, and compiler development.