13 search results for "tag:"keyword:effects""

Showing 1 - 13
  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-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
  4. 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
  5. coq-freespec-core

    No documentation

    A framework for implementing and certifying impure computations in Coq
    date:2021-03-01 keyword:effects keyword:freer keyword:program logic category:Mathematics/Category Theory logpath:FreeSpec.Core
    Thomas Letan Yann Régis-Gianas
    0.3
    MPL-2.0
    Used by 2 other packages
    04 Mar 2021
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. coq-monae

    No documentation

    Monads and equational reasoning in Coq
    keyword:monae keyword:effects keyword:probability keyword:nondeterminism logpath:monae date: 2024-10-25
    Reynald Affeldt David Nowak Takafumi Saikawa Jacques Garrigue Ayumu Saito et al.
    0.7.1
    LGPL-2.1-or-later
    Used by 0 other packages
    27 Oct 2024
  13. coq-simple-io

    No documentation

    IO monad for Coq
    date:2024-09-16 logpath:SimpleIO keyword:extraction keyword:effects
    Li-yao Xia Yishuai Li
    1.10.0
    MIT
    Used by 6 other packages
    17 Sep 2024