coq-io/io

A library for effects in Coq.

Coq

93 commits

updated May 28, 2022

coq.io

See the code

README

IO

A library for effects in Coq. http://coq.io/

Install

Using OPAM for Coq:

opam repo add coq-released https://coq.inria.fr/opam/released
opam install coq-io

Documentation

See http://coq.io/.

Contributors

clarus

92 commits

gitter-badger

1 commits

Similar repos

Lysxia/coq-simple-io

IO for Gallina

dbuenzli/affect

Streamlined and natural concurrency model for OCaml

lthms/FreeSpec

A framework for implementing and certifying impure computations in Coq

alexandersgreen/qio-haskell

The Quantum IO Monad, implemented in Haskell

106

janestreet/stdio

Standard IO Library for OCaml

rocq-community/coq-ext-lib

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]

135

coq-community/coq-ext-lib

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]

135

ocaml-multicore/awesome-multicore-ocaml

A collection of libraries, experiments and ideas relating to OCaml 5 (multicore + effects)

161

Languages

Coq

99.9%

coq-io/io

A library for effects in Coq.

Coq

93 commits

updated May 28, 2022

coq.io

See the code

README

IO

A library for effects in Coq. http://coq.io/

Install

Using OPAM for Coq:

opam repo add coq-released https://coq.inria.fr/opam/released
opam install coq-io

Documentation

See http://coq.io/.

Similar repos

Lysxia/coq-simple-io

IO for Gallina

dbuenzli/affect

Streamlined and natural concurrency model for OCaml

lthms/FreeSpec

A framework for implementing and certifying impure computations in Coq

alexandersgreen/qio-haskell

The Quantum IO Monad, implemented in Haskell

106

janestreet/stdio

Standard IO Library for OCaml

rocq-community/coq-ext-lib

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]

135

coq-community/coq-ext-lib

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]

135

ocaml-multicore/awesome-multicore-ocaml

A collection of libraries, experiments and ideas relating to OCaml 5 (multicore + effects)

161

Contributors

clarus

92 commits

gitter-badger

1 commits

Languages

Coq

99.9%