22 search results for "author:"Guillaume Claret""

Showing 1 - 22
  1. coq-bonsai

    No documentation

    Generate a fresh Bonsai on your terminal
    category:Miscellaneous/Logical Puzzles and Entertainment keyword:bonsai keyword:effects keyword:extraction date:2021-10-04
    Guillaume Claret
    1.0.0
    GPL-3.0-only
    Used by 0 other packages
    04 Oct 2021
  2. coq-chick-blog

    No documentation

    A blog engine written and proven in Coq
    date:2019-11-26 keyword:blog keyword:effects keyword:extraction
    Guillaume Claret
    1.0.1
    MIT
    Used by 0 other packages
    01 Dec 2019
  3. coq-concurrency-pluto

    No documentation

    A web server written in Coq
    Guillaume Claret
    1.1.0
    MIT
    Used by 0 other packages
    14 May 2019
  4. coq-concurrency-proxy

    No documentation

    A proxy to interface concurrent Coq programs with the operating system
    date:2015-01-28 keyword:effects keyword:extraction
    Guillaume Claret
    1.0.0
    MIT
    Used by 1 other packages
    14 May 2019
  5. coq-concurrency-system

    No documentation

    Experimental library to write concurrent applications in Coq
    date:2015-11-26 keyword:effects keyword:extraction
    Guillaume Claret
    1.1.0
    MIT
    Used by 1 other packages
    14 May 2019
  6. coq-cunit

    No documentation

    Convenience functions for unit testing in Coq
    Guillaume Claret
    1.0.0
    MIT
    Used by 1 other packages
    25 Nov 2015
  7. coq-cybele

    No documentation

    A Coq plugin for simpler proofs by reflection or OCaml certificates
    Guillaume Claret
    1.3.0
    MIT
    Used by 0 other packages
    25 Nov 2015
  8. coq-error-handlers

    No documentation

    Simple and robust error handling functions
    Guillaume Claret
    1.2.0
    MIT
    Used by 5 other packages
    25 Nov 2015
  9. coq-function-ninjas

    No documentation

    Simple functional combinators
    Guillaume Claret
    1.0.0
    MIT
    Used by 8 other packages
    25 Nov 2015
  10. coq-io

    No documentation

    A library for effects in Coq
    date:2019-07-23 logpath:Io keyword:effects
    Guillaume Claret
    4.0.0
    MIT
    Used by 5 other packages
    23 Jul 2019
  11. coq-io-evaluate

    No documentation

    Generic functions to run effects
    date:2015-06-14 keyword:effects
    Guillaume Claret
    1.0.0
    MIT
    Used by 1 other packages
    14 May 2019
  12. coq-io-exception

    No documentation

    Abstract your errors into exceptions
    date:2015-06-14 keyword:effects logpath:Io
    Guillaume Claret
    1.1.0
    MIT
    Used by 1 other packages
    13 May 2019
  13. coq-io-hello-world

    No documentation

    A Hello World program in Coq
    date:2019-07-30 keyword:effects keyword:extraction
    Guillaume Claret
    1.2.0
    MIT
    Used by 0 other packages
    30 Jul 2019
  14. coq-io-list

    No documentation

    Generic functions on lists with effects
    Guillaume Claret
    1.1.0
    MIT
    Used by 1 other packages
    25 Nov 2015
  15. coq-io-system

    No documentation

    System effects for Coq
    date:2019-07-28 keyword:effects keyword:extraction logpath:Io.System
    Guillaume Claret
    2.4.1
    MIT
    Used by 2 other packages
    29 Jul 2019
  16. coq-io-system-ocaml

    No documentation

    Extraction to OCaml of system effects
    date:2019-07-25 keyword:effects keyword:extraction
    Guillaume Claret
    2.3.1
    MIT
    Used by 2 other packages
    26 Jul 2019
  17. coq-iterable

    No documentation

    Generic definition of iterators
    Guillaume Claret
    1.0.0
    MIT
    Used by 1 other packages
    25 Nov 2015
  18. coq-list-plus

    No documentation

    More functions on lists
    Guillaume Claret
    1.1.0
    MIT
    Used by 1 other packages
    25 Nov 2015
  19. coq-list-string

    No documentation

    Strings implemented as lists
    Guillaume Claret
    2.1.2
    MIT
    Used by 8 other packages
    07 May 2019
  20. coq-moment

    No documentation

    Parse, manipulate and pretty-print times and dates in Coq
    date:2020-03-16 keyword:date keyword:time logpath:Moment
    Guillaume Claret
    1.2.1
    MIT
    Used by 3 other packages
    31 Oct 2021
  21. coq-of-ocaml

    No documentation

    Compile a subset of OCaml to Coq
    date:2020-03-20 keyword:compilation keyword:OCaml logpath:OCaml
    Guillaume Claret
    2.1.0
    MIT
    Used by 0 other packages
    20 May 2020
  22. coq-opam-website

    No documentation

    Generation of a Coq website for OPAM: http://coq.io/opam/
    Guillaume Claret
    1.4.0
    MIT
    Used by 0 other packages
    26 Nov 2015