ejgallego/pycoq

Stars
49
Rank 568,972 (Top 12 %)
Language
OCaml
Created over 2 years ago
Updated over 2 years ago

ejgallego/pycoq

ejgallego

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Python bindings for the Coq interactive proof assistant

coq-lsp

Visual Studio Code Extension and Language Server Protocol for Coq

coq-serapi

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

dfuzz

Linear Dependent Types for Differential Privacy TypeChecker

dualquery

DualQuery: Practical Private Query Release Algorithm

coq-universe

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

HOARe2

Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy

real-world-coq

jscoq-builds

Binary (sic) builds for jsCoq

udoc

CoqDoc fork specialized for the jscoq backend.

ssrbit

A small library for Bit Sequences

CodeMirror-TeX-input

TeX-style unicode input for CodeMirror

mini-dft-coq

A constructive formalization of the Discrete Fourier Transform

mini-wagner-coq

Code for the FARM 2021 paper "The W-Calculus: A Synchronous Framework for the Verified Modelling of Digital Signal Processing Algorithms"

coqide-exp

Experiments with split coqide

gappa-coq

coqide2-split

Frozen CoqIDE gtk2 version to build against Coq 8.10

flocq

interval