Tracking ECMAScript Proposals
- proposal
- ecmascript
- javascript
- spec
Repository Index
47,133 repositories indexed
1–24 of 38 · Most stars
The repository host gives no description.
- openapi3
- json-schema
- protobuf
- typespec
: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
Multi-Language Vulkan/GL/GLES/EGL/GLX/WGL Loader-Generator based on the official specs.
:atom: Run code interactively, inspect data, and plot. All the power of Jupyter kernels, inside your favorite text editor.
- data-science
- jupyter
- ipython
- repl
WebAssembly specification, reference interpreter, and test suite.
- specification
Clojure(Script)'s missing piece
A tool set for CSS including fast detailed parser, walker, generator and lexer based on W3C specs and browser implementations
A simple, lightweight, flexible, embeddable, portable and multi-paradigm dynamic programming language for developing applications, tools, and domain-specific languages
Polkadot's ink! to write smart contracts.
Password hashing specification for the Elixir programming language
- argon2
- bcrypt
- pbkdf2
- elixir
The official Firely .NET SDK for HL7 FHIR
- fhir
- dotnet-core
- dotnet
- parsing
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
GraphQL Router / API Gateway framework written in Golang, focussing on correctness, extensibility, and high-performance. Supports Federation v1 & v2, Subscriptions & more.
XSD (XML Schema Definition) parser and Go/C/Java/Rust/TypeScript code generator
- xsd
- xsd-schema
- xml
- xml-parser
Fully feature complete YAML parser and emitter, supporting the latest YAML spec and passing the full YAML testsuite.
inVtero.net: A high speed (Gbps) Forensics, Memory integrity & assurance. Includes offensive & defensive memory capabilities. Find/Extract processes, hypervisors (including nested) in memory dumps using microarchitechture independent Virtual Machiene Introspection techniques
- forensics
- hypervisor
- memory-dump
- reverse-engineering
A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
Audio visualizer for YouTube, YT Music, Spotify, and SoundCloud with musical notes.
- chrome-extension
- web-audio
- audio-visualizer
- constant-q-transform
Run compilers and inspect assembly directly from Neovim with the help of https://godbolt.org
- assembly
- compiler-explorer
- lua
- neovim
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
User agent parser library
A cross-platform modding language for GameMaker games. // Moved to Codeberg! https://codeberg.org/katsaii/catspeak-lang
- domain-specific-language
- gamemaker-studio-2
- dynamically-typed
- compiler