目录标签

#coq

公开记录中带有此标签的全部仓库——标签来自其 GitHub 主题或软件包注册表发布的关键词。健康度量遵循与记录其余部分相同的版本化方法论。

6 条记录

标签为“coq”按健康指数排序

npm · crates.io

81优秀健康指数

Synth — WebAssembly-to-native compiler for ARM Cortex-M/R (Thumb-2/A32), RISC-V RV32, and AArch64, with mechanized Rocq correctness proofs, per-compilation translation validation, and sound WCET bounds. Part of the PulseEngine toolchain.

Rust · Python★ 2↓ 2,014/月2026年9月13日

Apache-2.02026年9月13日 · 指标 2.10.0

—

71良好健康指数

LPCIC/coq-elpi

Rocq plugin embedding Elpi

OCaml · Rocq Prover · Prolog★ 1942026年8月24日

LGPL-2.12026年8月24日 · 指标 2.10.0

—

65良好健康指数

PrincetonUniversity/VST

Verified Software Toolchain

Rocq Prover★ 5082026年9月11日

自定义许可证2026年9月11日 · 指标 2.10.0

PyPI

65良好健康指数

whonore/Coqtail

Interactive Coq Proofs in Vim

Python · Vim Script★ 3272026年9月19日

MIT2026年9月19日 · 指标 2.10.0

—

56中等健康指数

rocq-community/fourcolor

Formal proof of the Four Color Theorem [maintainer=@ybertot]

Rocq Prover★ 2492026年9月14日

自定义许可证2026年9月14日 · 指标 2.10.0

—

50中等健康指数

imdea-software/fcsl-pcm

Partial Commutative Monoids

Rocq Prover★ 352026年9月20日

Apache-2.02026年9月20日 · 指标 2.10.0