An Opinionated Formatter for Verus
☆16Feb 23, 2026Updated last week
Alternatives and similar repositories for verusfmt
Users that are interested in verusfmt are comparing it to the libraries listed below
Sorting:
- A Verus compiler front-end for IDEs (derived from rust-analyzer)☆34Feb 3, 2026Updated last month
- Course website for Systems Verification Fall 2024☆14Jul 10, 2025Updated 7 months ago
- ☆23Feb 23, 2026Updated last week
- Collection of examples for showcasing various Rust graph data structure libraries.☆29Aug 22, 2025Updated 6 months ago
- Antithesis SDK for Rust☆30Feb 9, 2026Updated 3 weeks ago
- Storage systems with verified correctness properties☆61Feb 24, 2026Updated last week
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆62Feb 20, 2026Updated last week
- Sound static analysis for the masses.☆50Updated this week
- ☆79Jan 22, 2026Updated last month
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆29Aug 30, 2022Updated 3 years ago
- ☆17Feb 21, 2026Updated last week
- CN separation logic refinement type system for C☆46Feb 16, 2026Updated 2 weeks ago
- homebridge smartthings plugin☆21Feb 25, 2026Updated last week
- A Measurement-Driven Approach for System Software Engineers - Bilingual technical book (繁中/English) on benchmarking methodology, performa…☆24Jan 3, 2026Updated 2 months ago
- Experiments in high-assurance crypto.☆50Dec 15, 2022Updated 3 years ago
- DEPRECATED: Element Hiding Helper extension for Adblock Plus☆11Dec 1, 2017Updated 8 years ago
- Low overhead Rust implementation of time-related concepts☆12Updated this week
- DedupBench is a benchmarking tool for content-defined chunking techniques used in data deduplication. It currently supports eleven uniqu…☆22Feb 20, 2026Updated last week
- Instructions on obtaining stable benchmarks results on modern Linux distro☆18Updated this week
- This is the main repository for the Viper IDE extension for VS Code.☆13Updated this week
- Redefining Video Management with power of SQL☆11Oct 15, 2023Updated 2 years ago
- Synchronizable PBKDF2 based password generator☆14Dec 31, 2016Updated 9 years ago
- Please check out https://github.com/hacspec/hacspec for more information on hacspec☆46Nov 11, 2020Updated 5 years ago
- OCaml adapters for crypto providers used in Everest☆10Sep 13, 2018Updated 7 years ago
- Syng: A syntactic approach to concurrent separation logic with propositional ghost state, fully mechanized in Agda☆12Nov 18, 2022Updated 3 years ago
- ☆12Mar 6, 2015Updated 10 years ago
- Example container image for running on Cloudflare's container runtime☆10Jan 22, 2025Updated last year
- A simple example of using Tile38 to track the ISS and send notifications when it's overhead.☆10Sep 4, 2018Updated 7 years ago
- Implementation of cryptographic primitives in Go☆13Mar 13, 2023Updated 2 years ago
- Token Replacer is a simple and small Java Library that helps replacing tokens in strings. You can replace the tokens with static values o…☆13Oct 13, 2020Updated 5 years ago
- NIST P-256 signatures for Cortex-M4 microcontrollers☆16Mar 14, 2021Updated 4 years ago
- For replicating streams across clouds, accounts and regions☆18Feb 25, 2026Updated last week
- ☆12Aug 14, 2025Updated 6 months ago
- VOCAL-UDF: Self-Enhancing Video Data Management System for Compositional Events with Large Language Models☆12Dec 12, 2025Updated 2 months ago
- An ISO-4217 currency library for Gleam☆12Nov 24, 2025Updated 3 months ago
- Simple authentication toolkit for works with Yubikey☆13Updated this week
- A fork of criterion.rs to keep things updated.☆18Feb 15, 2026Updated 2 weeks ago
- Get motion/doorbell events and control lights/siren on Ring devices via SmartThings.☆12Jan 11, 2021Updated 5 years ago
- ☆12Dec 19, 2023Updated 2 years ago