deian/LambdaS5
Semantics for ES5
Framework for running and organising QuickCheck test properties and HUnit test cases
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Semantics for ES5
Fork of WebAppSec [PRs/issues should be submitted to w3c]
Firefox password manager companion: autofill forms by right-clicking
Formal semantics for LIO