4 search results for "author:"Philippa Gardner""

Showing 1 - 4
  1. coq-jsast

    No documentation

    A minimal JavaScript syntax tree carved out of the JsCert project
    keyword:javascript keyword:compiler date:2020-07-29 logpath:JsAst
    Martin Bodin <> Arthur Charguéraud <> Daniele Filaretti <> Philippa Gardner <> Sergio Maffeis <> et al.
    3.0.0
    BSD-2-Clause
    Used by 1 other packages
    26 May 2022
  2. coq-wasm

    No documentation

    Wasm formalisation in Coq
    keyword:WebAssembly category:Computer Science/Semantics and Compilation/Semantics date:2026-10-12 logpath:Wasm
    Martin Bodin Philippa Gardner Jean Pichon Xiaojia Rao Conrad Watt
    2.2.1
    MIT
    Used by 0 other packages
    20 Oct 2026
  3. rocq-jsast

    No documentation

    A minimal JavaScript syntax tree carved out of the JsCert project
    keyword:javascript keyword:compiler date:2026-02-27 logpath:JsAst
    Martin Bodin <> Arthur Charguéraud <> Daniele Filaretti <> Philippa Gardner <> Sergio Maffeis <> et al.
    4.0.0
    BSD-2-Clause
    Used by 0 other packages
    02 Mar 2026
  4. rocq-smt-lib

    No documentation

    Rocq mechanisation of SMT-LIB
    date:2026-10-28 logpath:SMTLIB category:Computer Science/Semantics and Compilation/Semantics keyword:SMT-LIB keyword:SMT
    Shiva Tamil Kumaran Andreas Lööw Philippa Gardner
    1.0
    MIT
    Used by 0 other packages
    29 Oct 2026