Coq.io

Voice your Coq.

Pinned Repositories

checker
Automatic checker for lock-free concurrent programs in Coq.
Language:Coq2 2 00
evaluate
Generic functions to evaluate effects. [merged into https://github.com/coq-io/io]
Language:Coq3 2 00
exception
Abstract your errors into exceptions. [merged into https://github.com/coq-io/io]
Language:Coq2 2 00
experiments
Experiments with Coq effects.
Language:Coq3 4 00
hello-world
A Hello World program in Coq.
Language:Coq17 4 22
io
A library for effects in Coq.
Language:Coq64 6 24
list
Generic functions on lists with effects. [merged into https://github.com/coq-io/io]
Language:Coq2 2 00
lwt
Lwt back-end for Coq.io.
Language:Coq2 3 00
opam-website
Generation of a sample Coq website for OPAM
Language:Coq3 2 40
system
Library of Unix effects for Coq.
Language:Coq23 3 11

Coq.io's Repositories

coq-io/io
A library for effects in Coq.
Language:Coq64 6 24
coq-io/system
Library of Unix effects for Coq.
Language:Coq23 3 11
coq-io/hello-world
A Hello World program in Coq.
Language:Coq17 4 22
coq-io/evaluate
Generic functions to evaluate effects. [merged into https://github.com/coq-io/io]
Language:Coq3 2 00
coq-io/experiments
Experiments with Coq effects.
Language:Coq3 4 00
coq-io/opam-website
Generation of a sample Coq website for OPAM
Language:Coq3 2 40
coq-io/checker
Automatic checker for lock-free concurrent programs in Coq.
Language:Coq2 2 00
coq-io/exception
Abstract your errors into exceptions. [merged into https://github.com/coq-io/io]
Language:Coq2 2 00
coq-io/list
Generic functions on lists with effects. [merged into https://github.com/coq-io/io]
Language:Coq2 2 00
coq-io/lwt
Lwt back-end for Coq.io.
Language:Coq2 3 00
coq-io/compilation-experiments
Experiments about compilation of effects.
Language:Coq1 2 0
coq-io/system-ocaml
OCaml utilities to run the extraction of system effects from Coq.
Language:OCaml1 3 2
coq-io/coq-io.github.io
Documentation of Coq.io
Language:Ruby3 0
coq-io/website
The website of Coq.io.
Language:HTML2 0