Coq.io

Coq.io's repositories

A library for effects in Coq.

Language:CoqMIT64 6 2

Library of Unix effects for Coq.

Language:CoqMIT23 3 1

A Hello World program in Coq.

Language:CoqMIT17 4 2

Generic functions to evaluate effects. [merged into https://github.com/coq-io/io]

Language:CoqMIT3 20

Experiments with Coq effects.

Language:CoqMIT3 40

Generation of a sample Coq website for OPAM

Language:CoqMIT3 2 4

Automatic checker for lock-free concurrent programs in Coq.

Language:CoqMIT2 20

Abstract your errors into exceptions. [merged into https://github.com/coq-io/io]

Language:CoqMIT2 20

Generic functions on lists with effects. [merged into https://github.com/coq-io/io]

Language:CoqMIT2 20

Lwt back-end for Coq.io.

Language:CoqMIT2 30

Experiments about compilation of effects.

Language:CoqMIT1 20

OCaml utilities to run the extraction of system effects from Coq.

Language:OCamlMIT1 3 2

Documentation of Coq.io

Language:RubyMIT030

The website of Coq.io.

Language:HTMLMIT020