Pinned Loading

1. WebAssembly/spec WebAssembly/spec Public

   WebAssembly specification, reference interpreter, and test suite.

   WebAssembly 3.4k 525

2. Wasm-DSL/spectec Wasm-DSL/spectec Public

   Forked from WebAssembly/spec

   Wasm SpecTec specification tools

   WebAssembly 110 18

3. es-meta/esmeta es-meta/esmeta Public

   ECMAScript Specification (ECMA-262) Metalanguage

   Scala 259 24

4. kaist-plrg/python-analyzer kaist-plrg/python-analyzer Public

   Python analysis framework in Scala

   TeX 2