Skip to content

@coq-io Coq.io

Change the repository type filter

All

    Repositories list

    14 repositories

    • hello-world

      Public
      A Hello World program in Coq.
      Coq
      •
      MIT License
      •2•17•0•1•Updated May 28, 2022May 28, 2022

    • io

      Public
      A library for effects in Coq.
      Coq
      •
      MIT License
      •4•65•1•1•Updated May 28, 2022May 28, 2022

    • system

      Public
      Library of Unix effects for Coq.
      Coq
      •
      MIT License
      •1•23•0•0•Updated Sep 28, 2019Sep 28, 2019

    • opam-website

      Public
      Generation of a sample Coq website for OPAM
      Coq
      •
      MIT License
      •0•3•2•0•Updated Jul 30, 2019Jul 30, 2019

    • coq-io.github.io

      Public
      Documentation of Coq.io
      Ruby
      •
      MIT License
      •0•0•0•0•Updated Jul 29, 2019Jul 29, 2019

    • system-ocaml

      Public
      OCaml utilities to run the extraction of system effects from Coq.
      OCaml
      •
      MIT License
      •0•1•0•0•Updated Jul 28, 2019Jul 28, 2019

    • list

      Public archive
      Generic functions on lists with effects. [merged into https://github.com/coq-io/io]
      Coq
      •
      MIT License
      •0•2•0•0•Updated Jul 23, 2019Jul 23, 2019

    • exception

      Public archive
      Abstract your errors into exceptions. [merged into https://github.com/coq-io/io]
      Coq
      •
      MIT License
      •0•2•0•0•Updated Jul 23, 2019Jul 23, 2019

    • evaluate

      Public archive
      Generic functions to evaluate effects. [merged into https://github.com/coq-io/io]
      Coq
      •
      MIT License
      •0•3•0•0•Updated Jul 23, 2019Jul 23, 2019

    • website

      Public
      The website of Coq.io.
      HTML
      •
      MIT License
      •0•0•0•0•Updated Feb 14, 2016Feb 14, 2016

    • checker

      Public
      Automatic checker for lock-free concurrent programs in Coq.
      Coq
      •
      MIT License
      •0•2•0•0•Updated Sep 7, 2015Sep 7, 2015

    • lwt

      Public
      Lwt back-end for Coq.io.
      Coq
      •
      MIT License
      •0•2•0•0•Updated Jul 20, 2015Jul 20, 2015

    • experiments

      Public
      Experiments with Coq effects.
      Coq
      •
      MIT License
      •0•3•0•0•Updated Jul 9, 2015Jul 9, 2015

    • compilation-experiments

      Public
      Experiments about compilation of effects.
      Coq
      •
      MIT License
      •0•1•0•0•Updated May 8, 2015May 8, 2015