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
• esast / esast
  Type-safe EcmaScript AST representation
  ☆9Updated 9 years ago
• evanw / esoptimize
  A JavaScript AST optimizer
  ☆18Updated 11 years ago
• davidbonnet / astravel
  👟 Tiny and fast ESTree-compliant AST walker and modifier.
  ☆62Updated last year
• peggyjs / code-peggy-language
  VSCode syntax highlighting and error reporting for Peggy
  ☆16Updated 6 months ago
• tc39 / ecmarkdown
  A shorthand language for writing ECMAScript-style algorithms, inspired by Markdown
  ☆81Updated last year
• ModuleLoader / system-register-loader
  Module loader to load System.register modules in the browser and Node
  ☆15Updated 8 years ago
• ajvincent / es-membrane
  An ECMAScript implementation of a Membrane, allowing users to dynamically hide, override, or extend objects in JavaScript with controlled…
  ☆113Updated this week
• bnjmnt4n / regjsgen
  Generate regular expressions from regjsparser’s AST.
  ☆33Updated 6 months ago
• littledan / proposal-new-initialize
  Early draft proposal to support initializing given objects with fields and private methods
  ☆15Updated 6 years ago
• tc39 / proposal-richer-keys
  Cross cutting proposals around custom identities in collections
  ☆32Updated 5 years ago
• jviereck / regjsparser
  Parsing the JavaScript's RegExp in JavaScript.
  ☆81Updated 5 months ago
• bmeck / js-repl-goal
  A source text goal intended to be used by JS for REPLs
  ☆23Updated 4 years ago
• tc39 / proposal-Math.signbit
  Math.signbit
  ☆9Updated 5 years ago
• RReverser / jsx-transpiler
  Parses and compiles JSX code to JavaScript AST or code.
  ☆26Updated 10 years ago
• zenparsing / esparse
  A Beautiful Parser for the ECMAScript Language
  ☆115Updated 6 years ago
• tc39 / proposal-symbol-predicates
  A proposal to introduce ways to differentiate symbols
  ☆23Updated last year
• tc39 / proposal-array-is-template-object
  TC39 proposal to identify tagged template string array objects
  ☆47Updated 5 months ago
• zenparsing / esdown
  ES6+ to ES5 Compiler
  ☆46Updated 7 years ago
• inikulin / esotope
  ECMAScript code generator on steroids
  ☆39Updated 10 years ago
• nodeca / multimath
  WebAssembly wrapper to simplify fast math coding
  ☆72Updated 3 years ago
• gulpjs / rechoir
  Prepare a node environment to require files with different extensions.
  ☆48Updated 9 months ago
• charto / autogypi
  Autogypi handles dependencies for node-gyp projects.
  ☆21Updated 7 years ago
• tjvr / nearley-reverse
  Opposite of a parser: generates minimum-length derivation from a parse tree.
  ☆16Updated 7 years ago
• tc39 / proposal-private-declarations
  A proposal to allow trusted code _outside_ of the class lexical scope to access private state
  ☆25Updated 5 years ago
• shapesecurity / shift-template-js
  a structural templating system for JavaScript programs
  ☆17Updated 2 years ago
• disnet / parser-lang
  A parser combinator library with declarative superpowers
  ☆27Updated 3 years ago
• michaelficarra / everything.js
  a single javascript file that contains every ECMA-262 grammatical production
  ☆129Updated 9 years ago
• azu / ast-source
  [Require Maintainer] AST helper to transform source code.
  ☆17Updated 2 years ago
• pvdz / sourcemapper
  A source mapping tool that visualizes a source map for ya, what else
  ☆36Updated 8 years ago