Dafny is a verification-aware programming language (by dafny-lang)

Dafny Alternatives

Similar projects and alternatives to dafny

  • FStar

    A Proof-oriented Programming Language

  • tlaplus

    4 dafny VS tlaplus

    TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

  • 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.

  • koka

    - dafny VS koka

    Koka language compiler and interpreter

  • rust

    3 dafny VS rust

    Empowering everyone to build reliable and efficient software.

  • rust

    - dafny VS rust

    Rust for the xtensa architecture. Built in targets for the ESP32 and ESP8266 (by esp-rs)

  • Rust-for-Linux

    Adding support for the Rust language to the Linux kernel. (by Rust-for-Linux)

  • checkedc

    Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors. Checked C does not address use-after-free errors. This repo has a wiki for Checked C, sample code, the specification, and test code.

  • 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.

  • interactive

    .NET Interactive combines the power of .NET with many other languages to create notebooks, REPLs, and embedded coding experiences. Share code, explore data, write, and learn across your apps in ways you couldn't before.

  • magmide

    A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

  • z3

    3 dafny VS z3

    The Z3 Theorem Prover

  • lean4

    3 dafny VS lean4

    Lean 4 programming language and theorem prover

  • Django

    2 dafny VS Django

    The Web framework for perfectionists with deadlines.

  • Pandas

    2 dafny VS Pandas

    Flexible and powerful data analysis / manipulation library for Python, providing labeled data structures similar to R data.frame objects, statistical functions, and much more

  • csharplang

    The official repo for the design of the C# programming language

  • WeasyPrint

    2 dafny VS WeasyPrint

    The awesome document factory

  • coq

    2 dafny 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.

  • Idris2

    2 dafny VS Idris2

    A purely functional programming language with first class types

  • zz

    2 dafny VS zz

    🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C

  • mintable

    2 dafny VS mintable

    🍃 Automate your personal finances – for free, with no ads, and no data collection.

  • prusti-dev

    A static verifier for Rust, based on the Viper verification infrastructure.

  • SaaSHub

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

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

dafny reviews and mentions

Posts with mentions or reviews of dafny. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-10-27.


Basic dafny repo stats
1 day ago
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives