FStar Alternatives

Similar projects and alternatives to FStar

  1. rust

    2,786 FStar VS rust

    Empowering everyone to build reliable and efficient software.

  2. CodeRabbit

    CodeRabbit: AI Code Reviews for Developers. Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.

    CodeRabbit logo
  3. go

    2,219 FStar VS go

    The Go programming language

  4. p5.js

    248 FStar VS p5.js

    p5.js is a client-side JS platform that empowers artists, designers, students, and anyone to learn to code and express themselves creatively on the web. It is based on the core principles of Processing. http://twitter.com/p5xjs —

  5. TablaM

    The practical relational programing language for data-oriented applications

  6. SharpLab

    .NET language playground

  7. seL4

    62 FStar VS seL4

    The seL4 microkernel

  8. lean4

    61 FStar VS lean4

    Lean 4 programming language and theorem prover

  9. Nutrient

    Nutrient - The #1 PDF SDK Library. Bad PDFs = bad UX. Slow load times, broken annotations, clunky UX frustrates users. Nutrient’s PDF SDKs gives seamless document experiences, fast rendering, annotations, real-time collaboration, 100+ features. Used by 10K+ devs, serving ~half a billion users worldwide. Explore the SDK for free.

    Nutrient logo
  10. VisualFSharp

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

  11. terminusdb

    53 FStar VS terminusdb

    TerminusDB is a distributed database with a collaboration model

  12. dafny

    37 FStar VS dafny

    Dafny is a verification-aware programming language

  13. Idris2

    39 FStar VS Idris2

    A purely functional programming language with first class types

  14. z3

    31 FStar VS z3

    The Z3 Theorem Prover

  15. ante

    24 FStar VS ante

    A safe, easy systems language

  16. eff

    18 FStar VS eff

    🚧 a work in progress effect system for Haskell 🚧 (by hasura)

  17. Giraffe

    19 FStar VS Giraffe

    A native functional ASP.NET Core web framework for F# developers.

  18. cakeml

    15 FStar VS cakeml

    CakeML: A Verified Implementation of ML

  19. hacl-star

    HACL*, a formally verified cryptographic library written in F*

  20. coq

    88 FStar VS coq

    Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  21. lean

    4 FStar VS lean

    Discontinued Lean Theorem Prover (by leanprover)

  22. awesome-programming-languages

    The list of awesome programming languages that you might be interested in.

  23. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better FStar alternative or higher similarity.

FStar discussion

Log in or Post with

FStar reviews and mentions

Posts with mentions or reviews of FStar. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2024-12-25.

Stats

Basic FStar repo stats
45
2,788
9.9
about 16 hours ago

FStarLang/FStar is an open source project licensed under Apache License 2.0 which is an OSI approved license.

The primary programming language of FStar is F*.


Sponsored
CodeRabbit: AI Code Reviews for Developers
Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
coderabbit.ai