Benchmark for evaluating Coq proof search tools.
☆12Apr 27, 2026Updated 6 months ago
Alternatives and similar repositories for CoqStoq
Users that are interested in CoqStoq are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Language models for Coq based on data collected from the coq lsp.☆32Feb 23, 2026Updated 8 months ago
- Python client for coq-lsp☆55May 3, 2026Updated 6 months ago
- GLITCH is a technology-agnostic framework that enables automated detection of code smells in Infrastructure-as-Code scripts.☆34Aug 12, 2026Updated 2 months ago
- ⚙️ A tool for collecting executable code datasets with GitHub Actions ⚙️☆23Updated this week
- AI assistant for nix packaging☆18Jul 14, 2026Updated 3 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.☆81Aug 15, 2026Updated 2 months ago
- ☆40Oct 29, 2026Updated last week
- BigRocq is a utility, that takes a Rocq (former Coq) project as input and uses domain knowladge to increase a number of theorems in the d…☆12Feb 11, 2026Updated 8 months ago
- A generic goal preprocessing tool for proof automation tactics in Coq☆18Oct 29, 2026Updated last week
- ☆15Updated this week
- Automatic theorem proving via natural language reasoning with LLMs☆23May 16, 2025Updated last year
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]☆213Oct 19, 2026Updated 3 weeks ago
- Benchmark based on the Logical Foundations volume of [Software Foundations](https://softwarefoundations.cis.upenn.edu/)☆13Feb 20, 2026Updated 8 months ago
- RepairLLaMA: Efficient Representations and Fine-Tuned Adapters for Program Repair http://arxiv.org/pdf/2312.15698☆44Sep 5, 2025Updated last year
- 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.
- Examples of refining software and circuit implementations from their specifications in the style of the Bird-Meertens formalism.☆18Oct 15, 2026Updated 3 weeks ago
- A Reproducible Benchmark of Recent Java Bugs☆54Aug 19, 2025Updated last year
- Repair docker-smell automatically☆14Jul 23, 2026Updated 3 months ago
- Leaderboard of Frontier Models for Program Repair https://repairbench.github.io/☆11Oct 26, 2025Updated last year
- Security stuff for iac scripts☆17Apr 25, 2020Updated 6 years ago
- Visualization of Topic Modeling Results☆23Aug 31, 2026Updated 2 months ago
- DafnyBench: A Benchmark for Formal Software Verification☆69Dec 12, 2024Updated last year
- Exploration of primes, factorization and number theory through haskell☆10Oct 10, 2016Updated 10 years ago
- ☆12Feb 16, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- VSCode extension that is designed to help automate writing of Coq proofs.☆130Apr 15, 2026Updated 6 months ago
- ☆41Oct 1, 2026Updated last month
- Code for the paper: Proving Theorems Recursively☆12May 23, 2024Updated 2 years ago
- A Docker image for running the ACL2 theorem proving system and books in JupyterLab.☆14Oct 18, 2026Updated 3 weeks ago
- Rocqet proof language☆29Aug 11, 2025Updated last year
- Benchmarking LLMs on Real-World Software Verification in Lean 4☆16Oct 13, 2026Updated 3 weeks ago
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆77Jan 15, 2025Updated last year
- Multimodal verification of Replicated Data Types in Lean☆11Nov 3, 2026Updated last week
- ☆56Jun 15, 2026Updated 4 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 3 years ago
- Converts cargo check (and clippy) JSON output to the GitHub Action error format☆15Jun 17, 2024Updated 2 years ago
- Convert Jupyter notebooks to Typst source code (and then to PDFs)☆10Dec 31, 2024Updated last year
- Through RL training, stimulate the reflective capabilities of the prover model.☆13Apr 17, 2025Updated last year
- bctf2017 challenges☆11Apr 20, 2017Updated 9 years ago
- Apps for speech recognition and speech synthesis☆12Aug 21, 2025Updated last year
- ☆12Mar 24, 2023Updated 3 years ago
Are these results useful?