Tracking ECMAScript Proposals
- proposal
- ecmascript
- javascript
- spec
Repository Index
47,133 repositories indexed
1–15 of 15 · 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
libopenapi is a fully featured, high performance OpenAPI 3.2, 3.1, 3.0, Overlays and Arazzo parser, library, validator and toolkit for go applications.
- go
- golang
- openapi
- openapi-spec
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