VS Code extension to verify Rust programs with the Prusti verifier.
☆24Mar 1, 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
Sorting:
- A simple single-threaded concurrency runtime for Rust based on io_uring.☆27Jan 6, 2024Updated 2 years ago
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,744Updated this week
- Markdown-compatible AI-Powered Terminal Notepad☆14Apr 24, 2025Updated 10 months ago
- Definition of the Viper intermediate verification language.☆95Updated this week
- Sandbox that demonstrates derivation of camera Log to Linear conversions, and an ACES IDT and ODT for Z-Log 2.☆10Nov 14, 2021Updated 4 years ago
- Schema-aware JSON compression with millisecond lookups — cut transfer/storage while enabling exists*/pos* queries. (Demo + wheels; core i…☆24Feb 21, 2026Updated last week
- BeerJS: Rio de Janeiro, Brazil☆10Jan 4, 2017Updated 9 years ago
- Official AYON<->Kitsu intetgration (WIP)☆12Jan 27, 2026Updated last month
- This is the main repository for the Viper IDE extension for VS Code.☆13Updated this week
- Home Assistant to TRMNL API bridge aggregator with authentication, timezone handling, and Docker deployment support☆15Jun 14, 2025Updated 8 months ago
- Verifying the SCION architecture using Gobra☆11Feb 9, 2026Updated 3 weeks ago
- A snake game for Lego EV3 running ev3dev firmware.☆11Feb 12, 2017Updated 9 years ago
- Unofficial Linux client for the Blokada-VPN-service☆10Aug 26, 2022Updated 3 years ago
- ☆10Sep 10, 2023Updated 2 years ago
- An EDN (Extensible Data Notation) parser in Rust.☆48May 15, 2020Updated 5 years ago
- JavaFX micro-framework that follows MVVM Pattern with Google Guice dependency Injection☆11Jan 11, 2022Updated 4 years ago
- 疲労困憊していても書ける優しいプログラミング言語のコンパイラ☆11Dec 25, 2025Updated 2 months ago
- Objective-C wrapper for the SearchKit API / Mac OS☆27Dec 6, 2011Updated 14 years ago
- Pub/sub prototype 50x faster than Redis☆14Nov 25, 2016Updated 9 years ago
- provides Rust interface of fetching youtube live chat comments☆10Dec 16, 2024Updated last year
- ☆10Nov 20, 2014Updated 11 years ago
- A file storage system for SQL databases inspired by GridFS☆16Aug 30, 2022Updated 3 years ago
- ☆12Feb 4, 2026Updated last month
- Cocoa zooming/scrolling audio waveform view☆10Feb 14, 2016Updated 10 years ago
- Phone call for your web browser. George Hotz's hot new startup.☆12May 4, 2020Updated 5 years ago
- A tool with the intend to help installing the amazing Arch Linux distribution☆14Jul 2, 2018Updated 7 years ago
- ☆11Sep 21, 2018Updated 7 years ago
- ☆16Jan 23, 2026Updated last month
- Sample of using AVAssetWriter☆22Oct 17, 2016Updated 9 years ago
- Mariusz's Auto-Rice Bootstrapping Scripts: Installation Scripts for WAYLAND Arch Linux Meta-Desktop environment☆18Dec 24, 2024Updated last year
- the peachili( Peach + Chili) programming language☆11Feb 2, 2021Updated 5 years ago
- Simulator for TRMNL devices to test BYOS implementations.☆14Aug 31, 2025Updated 6 months ago
- 📁 ○ ○ ○ dotfolders and dotfiles☆17Updated this week
- Zipkin instrumentation library for Clojure☆12May 9, 2020Updated 5 years ago
- Catmull-Clark subdivision surface deformation tool.☆12Mar 7, 2017Updated 8 years ago
- Interval Treeset based on finger trees☆11Oct 28, 2020Updated 5 years ago
- AYON Addon for Blackmagic DaVinci Resolve☆13Feb 9, 2026Updated 3 weeks ago
- LuaJIT iOS Framework script - old don't use this☆28Sep 5, 2013Updated 12 years ago
- WIP clojure bindings for tree-sitter☆12Apr 28, 2025Updated 10 months ago