Alternatives and similar repositories for formal:

Users that are interested in formal are comparing it to the libraries listed below

• keeyipchan / esgoggles
  Browser ide for reading and exploring javascript code
  ☆48Updated last year
• zenparsing / esdown
  ES6+ to ES5 Compiler
  ☆46Updated 7 years ago
• tc39 / proposal-Math.signbit
  Math.signbit
  ☆9Updated 4 years ago
• evanw / esoptimize
  A JavaScript AST optimizer
  ☆18Updated 11 years ago
• bnjmnt4n / regjsgen
  Generate regular expressions from regjsparser’s AST.
  ☆34Updated 4 months ago
• data-ux / wasm-playground
  WebAssembly playground
  ☆25Updated 3 years ago
• bmeck / js-repl-goal
  A source text goal intended to be used by JS for REPLs
  ☆23Updated 4 years ago
• tc39 / ecmarkdown
  A shorthand language for writing ECMAScript-style algorithms, inspired by Markdown
  ☆81Updated last year
• zenparsing / esparse
  A Beautiful Parser for the ECMAScript Language
  ☆115Updated 6 years ago
• esast / esast
  Type-safe EcmaScript AST representation
  ☆9Updated 8 years ago
• inikulin / esotope
  ECMAScript code generator on steroids
  ☆39Updated 10 years ago
• stackgl / gl-mat3
  gl-matrix's mat3, split into smaller pieces
  ☆18Updated 6 years ago
• ModuleLoader / system-register-loader
  Module loader to load System.register modules in the browser and Node
  ☆15Updated 7 years ago
• zenparsing / es-abstract-refs
  Abstract References Proposal for ECMAScript
  ☆20Updated 9 years ago
• max-mapper / browser-module-sandbox
  browser editor for code that gets 'compiled' on the server with node and run on the client
  ☆62Updated 6 years ago
• davidbonnet / astravel
  👟 Tiny and fast ESTree-compliant AST walker and modifier.
  ☆61Updated last year
• pvdz / heatfiler
  A JS profiler and code coverage tool that displays the result in a (live updating) heatmap
  ☆37Updated 5 years ago
• littledan / proposal-new-initialize
  Early draft proposal to support initializing given objects with fields and private methods
  ☆15Updated 5 years ago
• azu / ast-source
  [Require Maintainer] AST helper to transform source code.
  ☆17Updated 2 years ago
• jsdom / webidl-conversions
  Implements the Web IDL algorithms for converting to and from JavaScript values
  ☆33Updated 3 years ago
• hegemonic / catharsis
  A JavaScript parser for Google Closure Compiler and JSDoc type expressions.
  ☆54Updated this week
• tc39 / proposal-richer-keys
  Cross cutting proposals around custom identities in collections
  ☆32Updated 5 years ago
• michaelficarra / everything.js
  a single javascript file that contains every ECMA-262 grammatical production
  ☆129Updated 9 years ago
• SjonHortensius / LRTEditor
  HTML5 lightweight syntax-highlighted code editor; using ContentEditable and a simple wrapper with plugin support.
  ☆20Updated 8 years ago
• jviereck / regjsparser
  Parsing the JavaScript's RegExp in JavaScript.
  ☆79Updated 2 months ago
• jasnell / proposal-url
  Proposal to add WHATWG URL to ECMAScript
  ☆33Updated 7 years ago
• iiegor / ptyw.js
  Bindings to forkpty(3) for node.js.
  ☆20Updated 7 years ago
• for-GET / core-pegjs
  A collection of core PEGjs grammars (IETF, ISO, etc.)
  ☆43Updated 2 years ago
• shapesecurity / shift-spec
  Shift AST Specification
  ☆188Updated 3 years ago
• ljharb / side-channel
  Store information about any JS value in a side channel. Uses WeakMap if available.
  ☆16Updated last month