VS Code extension to verify Rust programs with the Prusti verifier.
☆24Oct 19, 2026Updated this week
Alternatives and similar repositories for prusti-assistant
Users that are interested in prusti-assistant are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Korn - C Verification with Loop Invariants and Summaries☆12Nov 26, 2025Updated 10 months ago
- a bot using an OODA loop...☆25Jan 19, 2026Updated 9 months ago
- ☆21Mar 21, 2022Updated 4 years ago
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,820Updated this week
- A library to profile time in a Haskell program☆20Jul 24, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Initiate transactions and authenticate with signers on the Internet Computer.☆14Mar 27, 2026Updated 6 months ago
- Commands, agents and skills I've made or collected for use with Claude Code☆20Sep 27, 2026Updated 3 weeks ago
- google-authz = tower-service + google authentication☆19Sep 4, 2024Updated 2 years ago
- Decentralised Liquid Staking protocol on the Internet Computer☆16Apr 30, 2026Updated 5 months ago
- Navigation filter based on an Error State Kalman Filter☆29Dec 9, 2024Updated last year
- Verus-verified implementation of Ironfleet Sharded Hash Table key-value store☆12Sep 22, 2026Updated last month
- This is the place where (more or less) stable releases of my RW library will be published.☆16Jun 4, 2020Updated 6 years ago
- 5GL C Stack Machine (Fifth Generation Graph Language)☆12Jan 10, 2019Updated 7 years ago
- For loops in const☆13Jul 3, 2026Updated 3 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Website for AsciiMath☆14Apr 14, 2026Updated 6 months ago
- A back-end for the Accelerate library using the Repa library☆14Jan 13, 2012Updated 14 years ago
- Verifying the SCION architecture using Gobra☆12Sep 22, 2026Updated last month
- medium inspired theme for hakyll☆10Jul 27, 2021Updated 5 years ago
- Rust project template with CI-built releases☆12Mar 14, 2020Updated 6 years ago
- Networking layer for arcana engine☆15Dec 30, 2022Updated 3 years ago
- enforce representation/class invariants in your Rust data structures☆12Feb 11, 2023Updated 3 years ago
- VSCode Plugin for Gobra☆11Updated this week
- An Opinionated Formatter for Verus☆22Oct 16, 2026Updated last week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- IDE Integration of Facebook Infer☆14Nov 9, 2022Updated 3 years ago
- Collenchyma plugin for backend-agnostic Neural Network operations☆14May 1, 2016Updated 10 years ago
- umber-lang - A Rust compiled programming language.☆11Oct 30, 2024Updated last year
- Experiments with idea from the blog post "Stack-safety for free?"☆12Nov 29, 2021Updated 4 years ago
- Mcts library written in rust, for rust.☆14Mar 24, 2026Updated 7 months ago
- A 3d raycaster that renders to ASCII text.☆17May 15, 2017Updated 9 years ago
- My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.☆14Aug 3, 2019Updated 7 years ago
- A Gradual Dependently-typed Language☆14Jun 26, 2019Updated 7 years ago
- Verifier for effectful, higher-order programs☆19Jul 1, 2026Updated 3 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Buddy allocator, forked from the toyos repository.☆16Jul 25, 2021Updated 5 years ago
- rust(1) cli prototype☆15Jan 2, 2022Updated 4 years ago
- Providing PULSE instrumentable versions of Erlang OTP components☆15Aug 27, 2012Updated 14 years ago
- A framework for native cross-platform app development in Rust☆19Updated this week
- A wrapper type for optionally giving up ownership of the underlying value.☆11Mar 6, 2018Updated 8 years ago
- A pure bash raytracer☆13Nov 14, 2021Updated 4 years ago
- Interactive s-expression tree viewer☆13Jul 25, 2026Updated 2 months ago