Skip to content
@jscert

jscert

A collaboration of INRIA, France & Imperial College London, UK

Pinned Loading

  1. jscert jscert Public

    A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter

    Coq 197 12

Repositories

Showing 4 of 4 repositories
  • jscert Public

    A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter

    jscert/jscert’s past year of commit activity
    Coq 197 12 7 1 Updated Feb 5, 2024
  • jsexplain Public
    jscert/jsexplain’s past year of commit activity
    JavaScript 26 Apache-2.0 4 27 4 Updated Jul 18, 2022
  • fjs_of_fml Public
    jscert/fjs_of_fml’s past year of commit activity
    OCaml 1 1 4 0 Updated Oct 10, 2019
  • opam-repository Public Forked from ocaml/opam-repository

    Main public package repository for OPAM, the source package manager of OCaml.

    jscert/opam-repository’s past year of commit activity
    Shell 0 CC0-1.0 1,164 0 0 Updated Apr 23, 2019

Top languages

Loading…

Most used topics

Loading…