PrototypeCommon
jscert/jscert
A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
- Owner
- jscert (organization)
- Stars
- Stars: 208
- Forks
- Forks: 13
- Language
- Coq
- License
- None
- Created
- 2014
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Coq
All Coq repos- hacspec/hacspecStars: 250CoqAlpha
- UniMath/FoundationsStars: 247CoqPrototype
- sifive/KamiStars: 232CoqPrototype
- barry-jay-personal/tree-calculusStars: 207CoqPrototype
- uwplse/verdi-raftStars: 204CoqPrototype
- clarus/coq-chick-blogStars: 181CoqPrototype