VS Code extension to verify Rust programs with the Prusti verifier.
☆24Apr 1, 2026Updated 2 weeks ago
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:
- This is the main repository for the Viper IDE extension for VS Code.☆13Apr 8, 2026Updated last week
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,754Mar 9, 2026Updated last month
- An Opinionated Formatter for Verus☆18Apr 1, 2026Updated 2 weeks ago
- enforce representation/class invariants in your Rust data structures☆12Feb 11, 2023Updated 3 years ago
- ☆20Feb 6, 2026Updated 2 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Django model that generates unique random codes upon saving☆16Sep 20, 2015Updated 10 years ago
- a type level lisp interpreter on Rust's type system☆10Nov 11, 2016Updated 9 years ago
- Master server to provide an API for retrieving all registered public OpenRCT2 servers.☆10Sep 26, 2018Updated 7 years ago
- A barebones utility for metamorphic testing in Rust☆19Oct 22, 2019Updated 6 years ago
- Verifying the SCION architecture using Gobra☆11Apr 2, 2026Updated 2 weeks ago
- A Haskell implementation of the Formality language☆18Mar 9, 2020Updated 6 years ago
- A 3d raycaster that renders to ASCII text.☆16May 15, 2017Updated 8 years ago
- Live code an Audio Worklet in your browser!☆11Apr 21, 2018Updated 7 years ago
- Abstract References Proposal for ECMAScript☆21Feb 27, 2015Updated 11 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Rust project template with CI-built releases☆12Mar 14, 2020Updated 6 years ago
- VSCode Plugin for Gobra☆11Updated this week
- Capability-based verifier for safe Rust clients of interior mutability☆14Jul 18, 2024Updated last year
- medium inspired theme for hakyll☆10Jul 27, 2021Updated 4 years ago
- IDE Integration of Facebook Infer☆15Nov 9, 2022Updated 3 years ago
- An asyncronous runtime for a single-threaded no_std environment☆18Nov 7, 2024Updated last year
- Scylla, a tool for translating ultra-regular C code to Safe Rust☆31Apr 7, 2026Updated last week
- A Gradual Dependently-typed Language☆14Jun 26, 2019Updated 6 years ago
- A Powershell script for signing or adding signatures to tap-windows6 drivers☆10Apr 18, 2019Updated 6 years ago
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Rust bindings for the Z3 solver.☆498Apr 1, 2026Updated 2 weeks ago
- A digital waveguide piano physical model with VST and command line interface.☆32Feb 24, 2026Updated last month
- A tool to convert any ordinary Git repository to a Historage repository, a fine-grained version control repository.☆12Jan 9, 2020Updated 6 years ago
- A simple command line time tracker☆23Oct 20, 2021Updated 4 years ago
- GreenArrays Development Software including Simulator☆13Feb 20, 2015Updated 11 years ago
- Statically-checked alternatives to RefCell and RwLock☆391Sep 17, 2025Updated 6 months ago
- My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.☆14Aug 3, 2019Updated 6 years ago
- ☆17Jan 31, 2026Updated 2 months ago
- A simple single-threaded concurrency runtime for Rust based on io_uring.☆27Jan 6, 2024Updated 2 years ago
- 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.
- The direct 2D api used from rust.☆10Jul 30, 2016Updated 9 years ago
- A MPMC channel based on the two lock queue algorithm☆15Oct 4, 2017Updated 8 years ago
- ☆11Sep 7, 2017Updated 8 years ago
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆22Feb 14, 2024Updated 2 years ago
- Birkana SVG generator.☆13Feb 25, 2019Updated 7 years ago
- ☆20Jan 9, 2024Updated 2 years ago
- streams in coffeescript☆22Mar 1, 2022Updated 4 years ago