VS Code extension to verify Rust programs with the Prusti verifier.
☆24Mar 9, 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:
- a bot using an OODA loop...☆25Jan 19, 2026Updated 2 months ago
- This is the main repository for the Viper IDE extension for VS Code.☆13Mar 17, 2026Updated last week
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,753Mar 9, 2026Updated 2 weeks ago
- Multiplayer Tetris clone written in Rust using the Bevy game engine.☆12Aug 31, 2025Updated 6 months ago
- An Opinionated Formatter for Verus☆18Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Formal semantics of Rust☆24Apr 9, 2021Updated 4 years ago
- For loops in const☆13Sep 7, 2024Updated last year
- Decentralised Liquid Staking protocol on the Internet Computer☆16Mar 15, 2026Updated last week
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆131Mar 17, 2026Updated last week
- Mcts library written in rust, for rust.☆14Oct 8, 2023Updated 2 years ago
- Experiments with idea from the blog post "Stack-safety for free?"☆12Nov 29, 2021Updated 4 years ago
- a type level lisp interpreter on Rust's type system☆10Nov 11, 2016Updated 9 years ago
- ☆17Jan 23, 2026Updated 2 months ago
- Verifying the SCION architecture using Gobra☆11Mar 16, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- 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
- O'Reilly Japan - コンピュータシステムの理論と実装 https://www.oreilly.co.jp/books/9784873117126/☆19Nov 23, 2020Updated 5 years ago
- Rust project template with CI-built releases☆12Mar 14, 2020Updated 6 years ago
- medium inspired theme for hakyll☆10Jul 27, 2021Updated 4 years ago
- IDE Integration of Facebook Infer☆15Nov 9, 2022Updated 3 years ago
- Scylla, a tool for translating ultra-regular C code to Safe Rust☆29Jan 8, 2026Updated 2 months ago
- A Gradual Dependently-typed Language☆14Jun 26, 2019Updated 6 years ago
- 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.
- Verifier for effectful, higher-order programs☆18Mar 10, 2026Updated 2 weeks ago
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆11Feb 7, 2025Updated last year
- Rust bindings for the Z3 solver.☆492Updated this week
- A digital waveguide piano physical model with VST and command line interface.☆31Feb 24, 2026Updated last month
- CoreAudio HAL object explorer☆10Apr 21, 2020Updated 5 years ago
- College assignment writing in which I ramble about type classes and dependent types.☆12Dec 11, 2020Updated 5 years ago
- ISO-3166-1 Country Codes for Rust☆32Sep 1, 2023Updated 2 years ago
- A wrapper type for optionally giving up ownership of the underlying value.☆11Mar 6, 2018Updated 8 years ago
- A tool to convert any ordinary Git repository to a Historage repository, a fine-grained version control repository.☆12Jan 9, 2020Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- GreenArrays Development Software including Simulator☆13Feb 20, 2015Updated 11 years ago
- Statically-checked alternatives to RefCell and RwLock☆390Sep 17, 2025Updated 6 months ago
- Public issue tracker for garnix.io☆16Feb 15, 2022Updated 4 years ago
- Custom error type of nom to improve accuracy of error position☆11Mar 23, 2023Updated 3 years ago
- General Board Game Playing☆25Jun 16, 2025Updated 9 months ago
- Visual Studio Code debugging support for Qt QML language☆13Jun 7, 2022Updated 3 years ago
- Website where portuguese political controversies can be seen on a calendar to allow seeing it in a bigger picture.☆14Jan 11, 2023Updated 3 years ago