prusti-dev

Public

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

Other

Updated Feb 4, 2026

Created May 22, 2019

1,731 stars

122 forks

17 watchers

293 open issues

Languages

Codebase composition by bytes

Top Contributors

3221 commits

1612 commits

275 commits

251 commits

196 commits

188 commits

176 commits

150 commits

119 commits

104 commits

Recent Stargazers

over 6 years ago

over 6 years ago

over 6 years ago

over 6 years ago

over 6 years ago

over 6 years ago

over 6 years ago

over 6 years ago

over 6 years ago

over 6 years ago

Repository Complexity

Approximate file count and repository size.

Files796

Size (KB)1,348,663

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 51Closed Issues 49

Open Issues100

Activity Peak

Most recent day with highest activityFeb 4, 2026 • 2 events

Stars & Forks Over Time

Cumulative stars and forks based on recent history.

GitHub Analytics

prusti-dev