jscert/jscert

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

GitHub repository with 208 stars and 12 forks.

Language: Coq

Open provider repository

24h trend summary

Trending score 0.00, activity score 0.00, stars gained not enough history, forks gained not enough history.

Latest metric snapshot

2026-06-05: 208 stars and 12 forks.

Similar repositories

  1. 1. jscert/jscert

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

    GitHub repository with 208 stars and 12 forks.

    Trending score: 0.00.

    Language: Coq

Trending in Coq

  1. 1. jscert/jscert

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

    GitHub repository with 208 stars and 12 forks.

    Trending score: 0.00.

    Language: Coq