FStar Alternatives

Similar projects and alternatives to FStar

  • dafny

    FStar VS dafny

    Dafny is a verification-aware programming language

  • coq

    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.

  • Scout APM

    Less time debugging, more time building. Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.

  • lean

    FStar VS lean

    Lean Theorem Prover (by leanprover)

  • koka

    FStar VS koka

    Koka language compiler and interpreter

  • VisualFSharp

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

  • stepmania

    FStar VS stepmania

    Advanced rhythm game for Windows, Linux and OS X. Designed for both home and arcade use.

  • oot

    FStar VS oot

    Decompilation of The Legend of Zelda: Ocarina of Time

  • SonarQube

    Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.

  • SharpLab

    FStar VS SharpLab

    .NET language playground

  • go

    FStar VS go

    The Go programming language

  • rust

    FStar VS rust

    Empowering everyone to build reliable and efficient software.

  • ditto

    FStar VS ditto

    A Super Kawaii Dependently Typed Programming Language (by ditto)

  • TablaM

    FStar VS TablaM

    The practical relational programing language for data-oriented applications

  • irish-gen

    FStar VS irish-gen

    Traditional Irish genealogies represented as TRiG RDF named graphs.

  • citra

    FStar VS citra

    A Nintendo 3DS Emulator

  • ponyc

    FStar VS ponyc

    :horse: Pony is an open-source, actor-model, capabilities-secure, high performance programming language

  • tauri

    FStar VS tauri

    Build smaller, faster, and more secure desktop applications with a web frontend.

  • Nim

    FStar VS Nim

    Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).

  • onnx

    FStar VS onnx

    Open standard for machine learning interoperability

  • Element

    FStar VS Element

    A glossy Matrix collaboration client for the web.

  • gleam

    FStar VS gleam

    ⭐️ A friendly language for building type-safe, scalable systems!

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.

Suggest an alternative to FStar

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 2022-08-10.


Basic FStar repo stats
7 days ago

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

SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
Find remote jobs at our new job board 99remotejobs.com. There are 3 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.