Nix Packages collection

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

A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities

EasyCrypt: Computer-Aided Cryptographic Proofs

Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.

The CompCert formally-verified C compiler

Yet Another Coq Library on Machine Words.

A Coq Tactic for Arithmetic (based on VPL)

Apron Numerical Abstract Domain Library

Github Pages source code for https://sile-typesetter.org

Containers: a typeclass-based library of finite sets/maps

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

A simple multi-format pretty-printer for Menhir.

Verified Software Toolchain

Coq library of arbitrary large numbers. Provides BigN, BigZ, BigQ that used to be part of Coq standard library

Dead-code analyzer for OCaml

Batteries Included project

Coq library on rewriting theory and termination

This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainers=@fakusb,@palmskog]

Build dependency graphs between COQ objects

Mostly Automated Synthesis of Correct-by-Construction Programs

Connecting computational and symbolic crypto models

A library of abstract interfaces for mathematical structures in Coq.

Coq Repository at Nijmegen

Prime numbers for Coq

Cryptographic Primitive Code Generation by Fiat