☆16Jan 23, 2026Updated last month
Alternatives and similar repositories for verus-copilot-vscode
Users that are interested in verus-copilot-vscode are comparing it to the libraries listed below
Sorting:
- ☆78Jan 22, 2026Updated last month
- Fast and Precise On-the-fly Patch Validation for All☆10Feb 24, 2023Updated 3 years ago
- Storage systems with verified correctness properties☆61Updated this week
- Collect simple coverage information in memory.☆11Oct 6, 2022Updated 3 years ago
- Scylla, a tool for translating ultra-regular C code to Safe Rust☆28Jan 8, 2026Updated last month
- An Opinionated Formatter for Verus☆16Updated this week
- AI-assisted verification of Dafny Programs☆19Nov 9, 2025Updated 3 months ago
- The First International Workshop on Large Language Model for Code 2024 (Co-Located with ICSE 2024)☆17Oct 4, 2024Updated last year
- ☆23Updated this week
- 🔮Reasoning for Safer Code Generation; 🥇Winner Solution of Amazon Nova AI Challenge 2025☆35Aug 24, 2025Updated 6 months ago
- ULPatch is open source user space live patch tool.☆13Jan 11, 2026Updated last month
- Fuzzing Automatic Differentiation in Deep-Learning Libraries (ICSE'23)☆27Mar 2, 2024Updated 2 years ago
- A community preview of ongoing formal verification efforts for Asterinas☆42Updated this week
- Artifact for ESEC/FSE'23 paper "NeuRI: Diversifying DNN Generation via Inductive Rule Inference"☆32Nov 13, 2023Updated 2 years ago
- A Verus compiler front-end for IDEs (derived from rust-analyzer)☆34Feb 3, 2026Updated 3 weeks ago
- XFT: Unlocking the Power of Code Instruction Tuning by Simply Merging Upcycled Mixture-of-Experts