Repository Index

Tracking ECMAScript Proposals

• proposal
• ecmascript
• javascript
• spec

:angel: The ultimate angle brackets parser library parsing HTML5, MathML, SVG and CSS to construct a DOM based on the official W3C specifications.

• anglesharp
• dom
• c-sharp
• html

The ESTree Spec

• estree
• javascript
• ast
• parsing

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

Clinical Quality Language (CQL) is an HL7 specification for the expression of clinical knowledge that can be used within both the Clinical Decision Support (CDS) and Clinical Quality Measurement (CQM) domains. This repository contains complementary tooling in support of that specification.

• cql
• clinical-quality-language
• cds
• java

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

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines

• parser
• binary-parser
• ada
• spark

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.

• routing
• gtfs
• dotnet
• c-sharp

Convert the ANSI Common Lisp draft to Texinfo

• common-lisp
• lisp
• documentation
• specification