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

Dafny Alternatives

Similar projects and alternatives to dafny

  • FStar

    dafny VS FStar

    A Proof-oriented Programming Language

  • rust

    dafny VS rust

    Empowering everyone to build reliable and efficient software.

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

  • koka

    dafny VS koka

    Koka language compiler and interpreter

  • Rust-for-Linux

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

  • checkedc

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

  • interactive

    dafny VS interactive

    .NET Interactive takes the power of .NET and embeds it into your interactive experiences. Share code, explore data, write, and learn across your apps in ways you couldn't before.

  • magmide

    dafny VS magmide

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

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

  • rust

    dafny VS rust

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

  • tlaplus

    dafny VS tlaplus

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

  • Django

    dafny VS Django

    The Web framework for perfectionists with deadlines.

  • Pandas

    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

  • WeasyPrint

    dafny VS WeasyPrint

    The awesome document factory

  • zz

    dafny VS zz

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

  • mintable

    dafny VS mintable

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

  • buttplug-rs

    dafny VS buttplug-rs

    Rust Implementation of the Buttplug Sex Toy Control Protocol

  • SharpLab

    dafny VS SharpLab

    .NET language playground

  • Vue.js

    dafny VS Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • OpenCV

    dafny VS OpenCV

    Open Source Computer Vision Library

  • Keras

    dafny VS Keras

    Deep Learning for humans

  • Ruby on Rails

    dafny VS Ruby on Rails

    Ruby on Rails

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.

Suggest an alternative to dafny

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


Basic dafny repo stats
1 day ago

dafny-lang/dafny is an open source project licensed under GNU General Public License v3.0 or later 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.