prusti-dev VS gcc

Compare prusti-dev vs gcc and see what are their differences.

prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure. (by viperproject)
Our great sponsors
  • WorkOS - The modern identity platform for B2B SaaS
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • SaaSHub - Software Alternatives and Reviews
prusti-dev gcc
23 81
1,446 8,635
2.5% 2.3%
8.8 9.9
23 days ago about 19 hours ago
Rust C
GNU General Public License v3.0 or later GNU General Public License v3.0 only
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.

prusti-dev

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.

gcc

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

What are some alternatives?

When comparing prusti-dev and gcc you can also consider the following projects:

CMake - Mirror of CMake upstream repository

rtl8192eu-linux-driver - Drivers for the rtl8192eu chipset for wireless adapters (D-Link DWA-131 rev E1 included!)

llvm-project - The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

STL - MSVC's implementation of the C++ Standard Library.

MIRAI - Rust mid-level IR Abstract Interpreter

kani - Kani Rust Verifier

cobol-on-wheelchair - Micro web-framework for COBOL

Rudra - Rust Memory Safety & Undefined Behavior Detection

qemu

python-imphook - Simple and clear import hooks for Python - import anything as if it were a Python module

busybox - The Swiss Army Knife of Embedded Linux - private tree

rtl8192eu-linux - Realtek rtl8192eu official Linux driver, versions: 5.2.19.1 (master), 5.6.3.1, 5.6.4 and 5.11.2.1 (default)