fajb Goto Github PK

bbv

Bedrock Bit Vector Library

bignums

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

bincat

Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction.

codegen

Coq plugin for monomorphization and C code generation

compcert

The CompCert formally-verified C compiler

coq

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 development of machine-checked proofs.

coq-elpi

Coq plugin embedding elpi

coqprime

Prime numbers for Coq

coqutil

Coq library for tactics, basic definitions, sets, maps

cross-crypto

Connecting computational and symbolic crypto models

fcf

Foundational Cryptography Framework for machine-checked proofs of cryptography.

fiat-crypto

Cryptographic Primitive Code Generation by Fiat

hash-consing-coq

jasmin

Jasmin compiler

kami

A Platform for High-Level Parametric Hardware Specification and its Modular Verification

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

mczify

mythril

A hypervisor written in rust

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.

riot

RIOT - The friendly OS for IoT

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

vst

Verified Software Toolchain