8 search results for "author:"Li-yao Xia""

Showing 1 - 8
  1. coq-ceres

    No documentation

    Library for serialization to S-expressions
    logpath:Ceres keyword:serialization
    Li-yao Xia
    0.4.1
    MIT
    Used by 3 other packages
    03 Jul 2023
  2. coq-coqffi

    No documentation

    Tool for generating Coq FFI bindings to OCaml libraries
    category:Miscellaneous/Coq Extensions keyword:foreign function interface keyword:extraction keyword:OCaml logpath:CoqFFI
    Thomas Letan Li-yao Xia Yann Régis-Gianas Yannick Zakowski
    1.0.0~beta8
    MIT
    Used by 0 other packages
    29 Apr 2023
  3. coq-http

    No documentation

    HTTP in Coq
    category:Computer Science/Concurrent Systems and Protocols/Correctness of specific protocols category:Miscellaneous/Extracted Programs/Decision procedures keyword:co-induction keyword:extraction keyword:reactive systems logpath:HTTP
    Yishuai Li <yishuai@cis.upenn.edu> Li-yao Xia <xialiyao@cis.upenn.edu> Yao Li <liyao@cis.upenn.edu> Azzam Althagafi <aazzam@cis.upenn.edu> Benjamin C. Pierce <bcpierce@cis.upenn.edu>
    0.2.1
    MPL-2.0
    Used by 0 other packages
    20 Jul 2023
  4. coq-itree

    No documentation

    Library for representing recursive and impure programs with equational reasoning
    org:deepspec logpath: ITree date:2024-04-02
    Li-yao Xia Yannick Zakowski Paul He Chung-Kil Hur Gregory Malecha et al.
    5.2.0
    MIT
    Used by 3 other packages
    04 Apr 2024
  5. coq-itree-io

    No documentation

    Run interaction trees in IO
    logpath:ITreeIO
    Li-yao Xia <lysxia@gmail.com>
    0.1.1
    MIT
    Used by 2 other packages
    21 Jul 2023
  6. coq-parsec

    No documentation

    Monadic parser combinator library in Coq
    category:Computer Science/Data Types and Data Structures keyword:string logpath:Parsec
    Yishuai Li <yishuai@cis.upenn.edu> Azzam Althagafi <aazzam@cis.upenn.edu> Yao Li <liyao@cis.upenn.edu> Li-yao Xia <xialiyao@cis.upenn.edu> Benjamin C. Pierce <bcpierce@cis.upenn.edu>
    0.2.0
    BSD-3-Clause
    Used by 2 other packages
    09 Oct 2024
  7. coq-quickchick

    No documentation

    Randomized Property-Based Testing for Coq
    Leonidas Lampropoulos Zoe Paraskevopoulou Maxime Denes Catalin Hritcu Benjamin Pierce et al.
    2.0.5
    MIT
    Used by 3 other packages
    05 Dec 2024
  8. 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