Tracking ECMAScript Proposals
- proposal
- ecmascript
- javascript
- spec
Repository Index
47,133 repositories indexed
1–14 of 14 · Most stars
:angel: The ultimate angle brackets parser library parsing HTML5, MathML, SVG and CSS to construct a DOM based on the official W3C specifications.
The ESTree Spec
WebAssembly specification, reference interpreter, and test suite.
- specification
Password hashing specification for the Elixir programming language
- argon2
- bcrypt
- pbkdf2
- elixir
XSD (XML Schema Definition) parser and Go/C/Java/Rust/TypeScript code generator
- xsd
- xsd-schema
- xml
- xml-parser
A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
- formal-verification
- formal-methods
- formal-specification
- ada
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Yet another markdown parser, Compliant to CommonMark specification, written in Crystal.
- crystal
- markdown
- commonmark
- gfm
Generates Elm types, JSON decoders, JSON encoders and fuzz tests from JSON schema specifications
- elm
- json-schema
- json
- elixir
The Rockstar programming language specification
.NET implementation of a General Transit Feed Specification (GTFS) feed parser.
Convert the ANSI Common Lisp draft to Texinfo
- common-lisp
- lisp
- documentation
- specification