System for verifying the correctness of generated Copilot programs
☆19May 8, 2025Updated last year
Alternatives and similar repositories for copilot-verifier
Users that are interested in copilot-verifier are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An attempt to run a MirageOS unikernel, built with Solo5, running in Qemu, on a Raspberry Pi 3☆11Mar 12, 2016Updated 10 years ago
- ☆23Mar 24, 2023Updated 3 years ago
- ☆22Feb 10, 2022Updated 4 years ago
- ☆13Apr 4, 2024Updated 2 years ago
- [ICSE'25] Specialized Fuzzing for LLVM Backend Code Generation☆21Mar 26, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆18Nov 21, 2019Updated 6 years ago
- A collection of SML utility modules that are useful for compiler writing.☆11May 18, 2026Updated 3 weeks ago
- visualize an AST serialized as YAML☆13Mar 13, 2023Updated 3 years ago
- AADL models for the Crazyflie UAV -- OMSCS Class CS7639☆11Mar 22, 2020Updated 6 years ago
- Standard ML autoformatter☆15Dec 25, 2021Updated 4 years ago
- An Opinionated Formatter for Verus☆20Jun 1, 2026Updated last week
- LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstr…☆19Mar 17, 2023Updated 3 years ago
- Agent-OM: Leveraging LLM Agents for Ontology Matching☆21May 2, 2026Updated last month
- PIRA - Automatic Instrumentation Refinement☆17Mar 28, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Prometheus SDK for CircuitPython/MicroPython boards☆18Oct 11, 2024Updated last year
- Compiles AI agent traces and truns them into reusable context.☆92Jun 2, 2026Updated last week
- a shared pixel display controllable via TCP☆13Jan 25, 2024Updated 2 years ago
- ☆17Jul 23, 2022Updated 3 years ago
- Parser for the llvm bitcode format☆61May 5, 2026Updated last month
- The Candle theorem prover (fork of the HOL Light sources)☆22May 16, 2026Updated 3 weeks ago
- 😇 Wholly Adaptive LLVM Optimizer☆28Aug 29, 2020Updated 5 years ago
- Entity-Relationship Diagram Drawing Tool☆17Mar 8, 2023Updated 3 years ago
- company-mode completion back-end for MLton/Standard ML☆16Dec 7, 2020Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- This is a small mirror of s7 scheme, the official distribution is here:☆18Sep 30, 2020Updated 5 years ago
- Mutation analysis tool for Coq verification projects☆30Oct 13, 2020Updated 5 years ago
- A Source Code Tokenizer☆13Oct 30, 2024Updated last year
- Easy SMT solver interaction☆34Feb 3, 2026Updated 4 months ago
- A Flexible and Efficient Proof Checker for SMT Solvers☆31Updated this week
- Web site for standardml.org.☆37Oct 17, 2023Updated 2 years ago
- Dockerize altera's Quartus ii software and run it on macOS☆17Apr 26, 2021Updated 5 years ago
- ☆24Sep 5, 2023Updated 2 years ago
- Pure OCaml implementation of the "vchan" shared-memory communication protocol☆45Mar 6, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆16Apr 11, 2023Updated 3 years ago
- CN separation logic refinement type system for C☆51May 26, 2026Updated 2 weeks ago
- High-assurance and performant Rust-based parsing and serialization of binary data formats verified in Verus☆65Updated this week
- Power grid analysis☆23Aug 5, 2020Updated 5 years ago
- Swift wrapper for XGBoost gradient boosting machine learning framework with Numpy and TensorFlow support.☆30Aug 29, 2020Updated 5 years ago
- OrqueIO main source code repository☆37May 26, 2026Updated 2 weeks ago
- 洛佳的异步内核实验室，第二版☆13Jul 16, 2021Updated 4 years ago