ejgallego/mini-wagner-coq ejgallego/mini-wagner-coq

  • Stars
    star
    1
  • Language Coq
  • Created over 3 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ejgallego/mini-wagner-coq
github

ejgallego

Reviews

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

Repository Details

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

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

pycoq

Python bindings for the Coq interactive proof assistant
OCaml
50
star
4

dfuzz

Linear Dependent Types for Differential Privacy TypeChecker
OCaml
31
star
5

dualquery

DualQuery: Practical Private Query Release Algorithm
OCaml
17
star
6

coq-universe

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

HOARe2

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

real-world-coq

Ruby
6
star
9

jscoq-builds

Binary (sic) builds for jsCoq
JavaScript
4
star
10

udoc

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

ssrbit

A small library for Bit Sequences
Coq
3
star
12

CodeMirror-TeX-input

TeX-style unicode input for CodeMirror
JavaScript
3
star
13

mini-dft-coq

A constructive formalization of the Discrete Fourier Transform
CSS
2
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