An Opinionated Formatter for Verus
☆20Jun 10, 2026Updated this week
Alternatives and similar repositories for verusfmt
Users that are interested in verusfmt are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Course website for Systems Verification Fall 2024☆14Jul 10, 2025Updated 11 months ago
- A Verus compiler front-end for IDEs (derived from rust-analyzer)☆40May 12, 2026Updated last month
- ☆27Updated this week
- Storage systems with verified correctness properties☆68May 28, 2026Updated 2 weeks ago
- The Stream and Genlex libraries for use with Camlp4 and Camlp5☆16Oct 14, 2025Updated 8 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆103Jun 2, 2026Updated last week
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆69Mar 26, 2026Updated 2 months ago
- CN separation logic refinement type system for C☆51May 26, 2026Updated 2 weeks ago
- Collect simple coverage information in memory.☆11Oct 6, 2022Updated 3 years ago
- A toy ELF parser/validator☆16Dec 18, 2024Updated last year
- ☆14Jun 10, 2025Updated last year
- Set up a specific version of the Z3 theorem prover☆14May 11, 2026Updated last month
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆48Apr 8, 2026Updated 2 months ago
- Generic Input Method for VSCode, mainly focusing on Unicode Symbol input for Theorem Provers, and YaTeX-like image completion for LaTeX☆11Jul 19, 2023Updated 2 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.
- Fast and Precise On-the-fly Patch Validation for All☆10Feb 24, 2023Updated 3 years ago
- Please check out https://github.com/hacspec/hacspec for more information on hacspec☆46Nov 11, 2020Updated 5 years ago
- ☆22Updated this week
- 🦅 VSCode extension for F* with IDE features☆16Mar 21, 2020Updated 6 years ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆32Aug 30, 2022Updated 3 years ago
- Great for live coding presentations, impressing your friends, or just trying to look busy at work.☆15May 22, 2020Updated 6 years ago
- Syng: A syntactic approach to concurrent separation logic with propositional ghost state, fully mechanized in Agda☆12Nov 18, 2022Updated 3 years ago
- Latex preprocessor — apply macro definitions, remove comments, and more☆15Aug 8, 2025Updated 10 months ago
- Quantum Safe OpenSSH☆18Apr 24, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A generic-purpose, atomic, ordered, zero-copy read, zero-cost (in-place) write, Write-Ahead Log implementation for Rust.☆28Dec 28, 2024Updated last year
- Kivi: verifying your Kubernetes clusters☆21Nov 8, 2023Updated 2 years ago
- A StableHLO analyzer in Lean☆21Jul 22, 2025Updated 10 months ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated last year
- Capability-based verifier for safe Rust clients of interior mutability☆15Jul 18, 2024Updated last year
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆71Jun 26, 2024Updated last year
- An ANTLR4 grammar for ECMAScript 5.1☆16Jul 13, 2017Updated 8 years ago
- AES encryption and authentication modes☆19Jan 27, 2022Updated 4 years ago
- Convert various benchmarking formats to benchfmt☆13Jan 31, 2025Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Verified Rust for low-level systems code☆2,645Updated this week
- sast2022-pytorch-training☆11Jul 21, 2022Updated 3 years ago
- Research prototype tool for modular formal verification of C, Rust and Java programs☆487May 10, 2026Updated last month
- yet another model checker☆25Updated this week
- ☆56Updated this week
- 📃 The GitHub action that generate repository list for user or organization.☆16Sep 4, 2023Updated 2 years ago
- configuration evolution dataset☆18Feb 25, 2021Updated 5 years ago