System effects for Coq.
A library for effects in Coq.
Generation of a sample Coq website for OPAM
Generic functions to evaluate effects.
The website of Coq.io.
Coq system effects for extraction to OCaml.
Generic functions on lists with effects.
A Hello World program in Coq.
Abstract your errors into exceptions.
Automatic checker for lock-free concurrent programs in Coq.
Lwt back-end for Coq.io.
Experiments with Coq effects.
Experiments about compilation of effects.