microsoft/verus-copilot-vscode external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

microsoft/verus-copilot-vscode

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/microsoft/verus-copilot-vscode)

Close

microsoft / verus-copilot-vscodeView on GitHubMore

• External links
• Readme badge

☆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

• microsoft / verus-proof-synthesis

  View on GitHub
  ☆78Jan 22, 2026Updated last month
• ise-uiuc / uniapr

  View on GitHub
  Fast and Precise On-the-fly Patch Validation for All
  ☆10Feb 24, 2023Updated 3 years ago
• microsoft / verified-storage

  View on GitHub
  Storage systems with verified correctness properties
  ☆61Updated this week
• ganler / memcov

  View on GitHub
  Collect simple coverage information in memory.
  ☆11Oct 6, 2022Updated 3 years ago
• AeneasVerif / scylla

  View on GitHub
  Scylla, a tool for translating ultra-regular C code to Safe Rust
  ☆28Jan 8, 2026Updated last month
• verus-lang / verusfmt

  View on GitHub
  An Opinionated Formatter for Verus
  ☆16Updated this week
• metareflection / dafny-annotator

  View on GitHub
  AI-assisted verification of Dafny Programs
  ☆19Nov 9, 2025Updated 3 months ago
• llm4code / 2024

  View on GitHub
  The First International Workshop on Large Language Model for Code 2024 (Co-Located with ICSE 2024)
  ☆17Oct 4, 2024Updated last year
• secure-foundations / human-eval-verus

  View on GitHub
  ☆23Updated this week
• purpcode-uiuc / purpcode

  View on GitHub
  🔮Reasoning for Safer Code Generation; 🥇Winner Solution of Amazon Nova AI Challenge 2025
  ☆35Aug 24, 2025Updated 6 months ago
• Rtoax / ulpatch

  View on GitHub
  ULPatch is open source user space live patch tool.
  ☆13Jan 11, 2026Updated last month
• ise-uiuc / NablaFuzz

  View on GitHub
  Fuzzing Automatic Differentiation in Deep-Learning Libraries (ICSE'23)
  ☆27Mar 2, 2024Updated 2 years ago
• asterinas / vostd

  View on GitHub
  A community preview of ongoing formal verification efforts for Asterinas
  ☆42Updated this week
• ise-uiuc / neuri-artifact

  View on GitHub
  Artifact for ESEC/FSE'23 paper "NeuRI: Diversifying DNN Generation via Inductive Rule Inference"
  ☆32Nov 13, 2023Updated 2 years ago
• verus-lang / verus-analyzer

  View on GitHub
  A Verus compiler front-end for IDEs (derived from rust-analyzer)
  ☆34Feb 3, 2026Updated 3 weeks ago
• ise-uiuc / xft

  View on GitHub
  XFT: Unlocking the Power of Code Instruction Tuning by Simply Merging Upcycled Mixture-of-Experts
  ☆35Jul 2, 2024Updated last year
• Stanislav-Povolotsky / jddlab

  View on GitHub
  Java decompilation & deobfuscation lab - dockerized toolset
  ☆15Feb 15, 2026Updated 2 weeks ago
• backengineering / binstats

  View on GitHub
  Statistics from our binary transformation framework
  ☆11Jan 16, 2025Updated last year
• viperproject / VerifiedSCION

  View on GitHub
  Verifying the SCION architecture using Gobra
  ☆11Feb 9, 2026Updated 2 weeks ago
• DavisPL / PCCC

  View on GitHub
  Proof-carrying code completions in Dafny
  ☆11Apr 4, 2025Updated 10 months ago
• Destiner / sessioned-eoa

  View on GitHub
  Smart Sessions with EIP-7702 EOA
  ☆16Nov 15, 2024Updated last year
• ise-uiuc / DeepREL

  View on GitHub
  Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)
  ☆40May 17, 2023Updated 2 years ago
• zvms / zvms4-frontend

  View on GitHub
  The frontend of ZVMS 4, powered by Element-plus, Vite, and Vue.
  ☆11Feb 11, 2026Updated 2 weeks ago
• matter-labs / alloy-zksync

  View on GitHub
  ZKsync support for alloy
  ☆16Jul 14, 2025Updated 7 months ago
• XutaxKamay / Asura

  View on GitHub
  Linux kernel-mode and user-space with wine/MinGW/Windows compability hacking library.
  ☆12Sep 15, 2022Updated 3 years ago
• andreoss / kernel-overlay

  View on GitHub
  linux kernel overlay
  ☆11Updated this week
• harperchen / SEAL

  View on GitHub
  ☆12Jun 10, 2025Updated 8 months ago
• Lokathor / zstring

  View on GitHub
  Zero-terminated string types for FFI.
  ☆13Mar 13, 2023Updated 2 years ago
• 0xf005ba11 / bazel_ewdk_cc

  View on GitHub
  EWDK C++ toolchain for bazel
  ☆11Feb 1, 2026Updated last month
• staticafi / sbt-slicer

  View on GitHub
  Static program slicer used in Symbiotic tool
  ☆12Mar 31, 2025Updated 11 months ago
• rust-random / rand_distr

  View on GitHub
  A Rust library for sampling from various distributions
  ☆18Feb 11, 2026Updated 2 weeks ago
• TomerAberbach / learning-rust

  View on GitHub
  🦀 I'm learning Rust and publishing exercises and small projects I've completed!
  ☆12Oct 15, 2024Updated last year
• stevietrouble / haxrs

  View on GitHub
  Cheat Engine alternative written in Rust
  ☆12Nov 15, 2022Updated 3 years ago
• HyeonuPark / internship-rs

  View on GitHub
  Interned string and more for rust
  ☆10Dec 29, 2021Updated 4 years ago
• viperproject / gobra-ide

  View on GitHub
  VSCode Plugin for Gobra
  ☆11Updated this week
• Vanille-N / tree-beamer

  View on GitHub
  Slides and sources for talks on Tree Borrows
  ☆14Dec 5, 2025Updated 2 months ago
• sporksmith / objgraph

  View on GitHub
  ☆13Aug 29, 2022Updated 3 years ago
• shafu0x / evm-from-scratch-python

  View on GitHub
  EVM in python from scratch because why not
  ☆11Aug 22, 2022Updated 3 years ago
• CodeConstruct / mctp-rs

  View on GitHub
  Rust crates for MCTP protocol support, on Linux and embedded
  ☆16Feb 18, 2026Updated last week