#coq (12 Repositories)
Ranked open-source repositories tagged with #coq, scored by pull request acceptance likelihood and maintainer engagement velocity.
53.3%
79.3h
12 repositories tagged #coq
AeneasVerif/aeneas
A verification toolchain for Rust programs
rocq-prover/opam
Archive for all Rocq and Coq-related opam packages organized in various repositories
rocq-prover/rocq
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
rocq-prover/vsrocq
Visual Studio Code extension for Rocq
LPCIC/coq-elpi
Rocq plugin embedding Elpi
bloomberg/crane
A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.
rocq-community/rocq-lsp
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
lukaszcz/coqhammer
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
ProofGeneral/PG
This repo is the new home of Proof General
cpitclaudel/company-coq
A Coq IDE build on top of Proof General's Coq mode
rocq-community/coq-dpdgraph
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]