2 search results for "author:"Martin Hirzel <>""

Showing 1 - 2
  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-qcert

    No documentation

    Verified compiler for data-centric languages
    keyword:databases keyword:queries keyword:relational keyword:compiler date:2020-08-22 logpath:Qcert
    Josh Auerbach <> Martin Hirzel <> Louis Mandel <> Avi Shinnar <> Jerome Simeon <>
    2.2.0
    Apache-2.0
    Used by 0 other packages
    22 May 2022