System for verifying the correctness of generated Copilot programs
☆17May 8, 2025Updated 9 months ago
Alternatives and similar repositories for copilot-verifier
Users that are interested in copilot-verifier are comparing it to the libraries listed below
Sorting:
- [ISSTA'24] A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing☆12Jan 7, 2025Updated last year
- Agent-OM: Leveraging LLM Agents for Ontology Matching☆18Jan 24, 2026Updated last month
- ☆14Apr 4, 2024Updated last year
- [ICSE'25] Specialized Fuzzing for LLVM Backend Code Generation☆21Mar 26, 2025Updated 11 months ago
- An Opinionated Formatter for Verus☆16Updated this week
- PIRA - Automatic Instrumentation Refinement☆16Mar 28, 2024Updated last year
- Mutation analysis tool for Coq verification projects☆29Oct 13, 2020Updated 5 years ago
- LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstr…☆19Mar 17, 2023Updated 2 years ago
- ☆17Nov 21, 2019Updated 6 years ago
- ☆23Mar 24, 2023Updated 2 years ago
- [AST'26] LLAMAFUZZ: Large Language Model Enhanced Greybox Fuzzing☆23Dec 3, 2024Updated last year
- A Source Code Tokenizer☆14Oct 30, 2024Updated last year
- Repository for the HARDENS project☆26Dec 12, 2024Updated last year
- ☆22Feb 10, 2022Updated 4 years ago
- Process Orchestration Framework: A camunda 7 fork☆21Updated this week
- ☆24Sep 5, 2023Updated 2 years ago
- High-assurance and performant Rust-based parsing and serialization of binary data formats verified in Verus☆47Feb 21, 2026Updated last week
- A community preview of ongoing formal verification efforts for Asterinas☆42Updated this week
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆31Dec 9, 2023Updated 2 years ago
- SDLC Copilot is an Agentic AI system designed to streamline and automate the Software Development Lifecycle (SDLC). From requirement gath…☆23Jun 14, 2025Updated 8 months ago
- CN separation logic refinement type system for C☆45Feb 16, 2026Updated last week
- Clang Static Analyzer Plugin for MISRA C++ Compliance☆34Jul 4, 2017Updated 8 years ago
- Easy SMT solver interaction☆34Feb 3, 2026Updated 3 weeks ago
- ☆36Aug 21, 2025Updated 6 months ago
- A Measurement-Driven Approach for System Software Engineers - Bilingual technical book (繁中/English) on benchmarking methodology, performa…☆24Jan 3, 2026Updated last month
- Redefining Video Management with power of SQL☆11Oct 15, 2023Updated 2 years ago
- A Grand Sumo prediction game☆10Updated this week
- Interface 2024年11月号 特集「ゼロから作るマルチコアOS」配布プログラム☆11Sep 30, 2024Updated last year
- https://icml.cc/virtual/2023/poster/24354☆10Aug 15, 2023Updated 2 years ago
- A Modified gem5 for Simulating Virtualized Systems☆11Mar 1, 2015Updated 10 years ago
- The Abstract Programming Language Interface (APLI) is a framework for generating Abstract Syntax Trees (ASTs) to enable developers to cre…☆13Oct 11, 2023Updated 2 years ago
- A minimal runtime for seL4 applications.☆14Mar 17, 2025Updated 11 months ago
- DedupBench is a benchmarking tool for content-defined chunking techniques used in data deduplication. It currently supports eleven uniqu…☆22Feb 20, 2026Updated last week
- Coqpit.vim brings the interactivity and asynchronous into your Vim and Neovim.☆10Nov 1, 2022Updated 3 years ago
- This is the official repository for all the code of TheoremLlama☆47Aug 4, 2025Updated 6 months ago
- A framework to generate unit tests using LLMs☆42Jan 19, 2026Updated last month
- Official Repostory of "Mnemis: Dual-Route Retrieval on Hierarchical Graphs for Long-Term LLM Memory"☆41Feb 18, 2026Updated last week
- NIST P-256 signatures for Cortex-M4 microcontrollers☆16Mar 14, 2021Updated 4 years ago
- Implementation of cryptographic primitives in Go☆13Mar 13, 2023Updated 2 years ago