ppedrot Goto Github PK

odd-order

The formal proof of the Odd Order Theorem

opam-coq-archive

Archive for all Coq related OPAM packages organized in various repositories

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

paramcoq

Coq plugin for parametricity [maintainer=@proux01]

perennial

Verifying concurrent crash-safe systems

pidetop

GitHub mirror of https://bitbucket.org/coqpide/pidetop. DO NOT FORK.

plugin_tutorials

A collection of small projects to illustrate how to write plugins for Coq

quickchick

Randomized Property-Based Testing Plugin for Coq

relation-algebra

Relation algebra library for Coq

rewriter

Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting

riscv-coq

RISC-V Specification in Coq

rupicola

Gallina to Bedrock2 compilation toolkit

sat-coq

A reflexive sat & tauto solver in Coq.

tarjan

Coq formalization of online DAG building

tlc

Library for Classical Coq

topology

Formal topology (and some probability) in Coq

types2016-forcing

unicoq

An enhanced unification algorithm for Coq

unimath

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

verdi

A framework for formally verifying distributed systems implementations in Coq

verdi-raft

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

vitef

A junkyard to stuff bits of quick-n'-dirty code

vodump

A basic tool to dump Coq object files

vscoq

A Visual Studio Code extension for Coq [maintainers=@maximedenes,@fakusb]

vst

Verified Software Toolchain

weakly-exceptional

A Coq plugin that implements exceptions in Coq

www

Source files of the coq.inria.fr website (static part)

zamel

A tool to compute phonetic evolution on a lexicon