JSCert

NOASSERTIONCoq

208 stars12 forks0 contributors

Overview

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

Community-curated · Updated weekly · 100% open source

Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.

2 years ago

CreatedSince 2014

Auto-fetched 6 hours ago

Cryptographic Primitive Code Generation by Fiat

Language for high-assurance and high-speed cryptography

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

A Verified Compiler for Gallina, Written in Gallina