ejgallego/pycoq ejgallego/pycoq

  • Stars
    star
    50
  • Rank 577,233 (Top 12 %)
  • Language
    OCaml
  • Created about 3 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ejgallego/pycoq
github

ejgallego

Reviews

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

Repository Details

Python bindings for the Coq interactive proof assistant

More Repositories

1

coq-lsp

Visual Studio Code Extension and Language Server Protocol for Coq
OCaml
150
star
2

coq-serapi

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

dfuzz

Linear Dependent Types for Differential Privacy TypeChecker
OCaml
31
star
4

dualquery

DualQuery: Practical Private Query Release Algorithm
OCaml
17
star
5

coq-universe

We aim to provide a composed build of all active Coq developments in existence
Makefile
10
star
6

HOARe2

Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy
OCaml
8
star
7

real-world-coq

Ruby
6
star
8

jscoq-builds

Binary (sic) builds for jsCoq
JavaScript
4
star
9

udoc

CoqDoc fork specialized for the jscoq backend.
OCaml
3
star
10

ssrbit

A small library for Bit Sequences
Coq
3
star
11

CodeMirror-TeX-input

TeX-style unicode input for CodeMirror
JavaScript
3
star
12

mini-dft-coq

A constructive formalization of the Discrete Fourier Transform
CSS
2
star
13

mini-wagner-coq

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

coqide-exp

Experiments with split coqide
OCaml
1
star
15

gappa-coq

Coq
1
star
16

coqide2-split

Frozen CoqIDE gtk2 version to build against Coq 8.10
OCaml
1
star
17

flocq

Coq
1
star
18

interval

Coq
1
star