prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure. (by viperproject)

Prusti-dev Alternatives

Similar projects and alternatives to prusti-dev

  1. rust

    2,842 prusti-dev VS rust

    Empowering everyone to build reliable and efficient software.

  2. InfluxDB

    InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

    InfluxDB logo
  3. Svelte

    715 prusti-dev VS Svelte

    web development for the rest of us

  4. wasmer

    🚀 Fast, secure, lightweight containers based on WebAssembly

  5. miri

    124 prusti-dev VS miri

    An interpreter for Rust's mid-level intermediate representation

  6. Pluto.jl

    🎈 Simple reactive notebooks for Julia

  7. kani

    54 prusti-dev VS kani

    Kani Rust Verifier

  8. SaaSHub

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

    SaaSHub logo
  9. infer

    42 prusti-dev VS infer

    A static analyzer for Java, C, C++, and Objective-C

  10. tlaplus

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

  11. dafny

    Dafny is a verification-aware programming language

  12. magmide

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

  13. Glimmer

    DSL Framework consisting of a DSL Engine and a Data-Binding Library used in Glimmer DSL for SWT (JRuby Desktop Development GUI Framework), Glimmer DSL for Opal (Pure Ruby Web GUI), Glimmer DSL for LibUI (Prerequisite-Free Ruby Desktop Development GUI Library), Glimmer DSL for Tk (Ruby Tk Desktop Development GUI Library), Glimmer DSL for GTK (Ruby-GNOME Desktop Development GUI Library), Glimmer DSL for XML (& HTML), and Glimmer DSL for CSS

  14. MIRAI

    9 prusti-dev VS MIRAI

    Discontinued Rust mid-level IR Abstract Interpreter

  15. creusot

    Discontinued Creusot helps you prove your code is correct in an automated fashion. [Moved to: https://github.com/creusot-rs/creusot] (by xldenis)

  16. flowistry

    Flowistry is an IDE plugin for Rust that helps you focus on relevant code.

  17. rustig

    A tool to detect code paths leading to Rust's panic handler

  18. tarpaulin

    A code coverage tool for Rust projects

  19. gdbstub

    An ergonomic, featureful, and easy-to-integrate implementation of the GDB Remote Serial Protocol in Rust (with no-compromises #![no_std] support)

  20. Rudra

    12 prusti-dev VS Rudra

    Rust Memory Safety & Undefined Behavior Detection

  21. cells

    6 prusti-dev VS cells

    A Common Lisp implementation of the dataflow programming paradigm (by kennytilton)

  22. 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 prusti-dev alternative or higher similarity.

prusti-dev discussion

Log in or Post with

prusti-dev reviews and mentions

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

Stats

Basic prusti-dev repo stats
23
1,647
0.0
8 days ago

Sponsored
InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
www.influxdata.com

Did you know that Rust is
the 5th most popular programming language
based on number of references?