ejgallego/coqide2-split ejgallego/coqide2-split

  • Stars
    star
    1
  • Language
    OCaml
  • Created almost 6 years ago
  • Updated almost 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ejgallego/coqide2-split
github

ejgallego

Reviews

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

Repository Details

Frozen CoqIDE gtk2 version to build against Coq 8.10

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

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
15

coqide-exp

Experiments with split coqide
OCaml
1
star
16

gappa-coq

Coq
1
star
17

flocq

Coq
1
star
18

interval

Coq
1
star