alizter Goto Github PK

coq-nix-toolbox

Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]

coq-performance-tests

A library of Coq source files testing for performance regressions on Coq [maintainer=@JasonGross]

coq-serapi

Coq Protocol Playground with Se(xp)rialization of Internal Structures.

coq-tools

Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.

coq-universe

We aim to provide a composed build of all active Coq developments in existence

coqffi

Coq to OCaml FFI made easy [maintainer=@lthms]

coqhammer

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory

coqprime

Prime numbers for Coq

coqutil

Coq library for tactics, basic definitions, sets, maps

coqword

Yet Another Coq Library on Machine Words.

cubical

dune

A composable build system for OCaml.

dune-bench

Benchmark for dune

dune-www

Website for dune.build

emblem

An elegant, extensible typesetter with both a friendly interface and good output

engine-bench

Benchmarks for various proof engines

epit-2020

EPIT 2020 - Spring School on Homotopy Type Theory

fiber

finmap

Finite sets, finite maps, multisets and generic sets

flocq-fork

fourcolor

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

ftxui

:computer: C++ Functional Terminal User Interface. :heart:

gaia

Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]

git-ps-rs

Official git-ps Rust implementation - the future of git-ps

git-ps-rs-nix-flake

Nix flake for git-ps-rs

github-action-benchmark

GitHub Action for continuous benchmarking to keep performance

hms

Hilton-Milnor splitting

hott

Homotopy type theory

hydra-battles

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

infseqext

A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators