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
• tc39 / proposal-Math.signbit
  Math.signbit
  ☆9Updated 5 years ago
• bnjmnt4n / regjsgen
  Generate regular expressions from regjsparser’s AST.
  ☆33Updated 6 months ago
• RReverser / jsx-transpiler
  Parses and compiles JSX code to JavaScript AST or code.
  ☆26Updated 10 years ago
• ModuleLoader / system-register-loader
  Module loader to load System.register modules in the browser and Node
  ☆15Updated 8 years ago
• evanw / esoptimize
  A JavaScript AST optimizer
  ☆18Updated 11 years ago
• SjonHortensius / LRTEditor
  HTML5 lightweight syntax-highlighted code editor; using ContentEditable and a simple wrapper with plugin support.
  ☆20Updated 9 years ago
• jsdom / webidl2js
  Auto-generate JS class structures for Web IDL specifications
  ☆82Updated last year
• zenparsing / esdown
  ES6+ to ES5 Compiler
  ☆46Updated 7 years ago
• littledan / proposal-new-initialize
  Early draft proposal to support initializing given objects with fields and private methods
  ☆15Updated 6 years ago
• jasnell / proposal-url
  Proposal to add WHATWG URL to ECMAScript
  ☆33Updated 7 years ago
• hegemonic / catharsis
  A JavaScript parser for Google Closure Compiler and JSDoc type expressions.
  ☆55Updated 2 weeks ago
• io-monad / line-column
  Node module to convert efficiently index to/from line-column in a string.
  ☆15Updated 8 months ago
• w3c / DOM-Parsing
  DOM Parsing and Serialization
  ☆27Updated 3 weeks ago
• davidbonnet / astravel
  👟 Tiny and fast ESTree-compliant AST walker and modifier.
  ☆62Updated last year
• zenparsing / esparse
  A Beautiful Parser for the ECMAScript Language
  ☆114Updated 6 years ago
• data-ux / wasm-playground
  WebAssembly playground
  ☆25Updated 3 years ago
• dcodeIO / WebAssembly-prototype
  [OUTDATED] JavaScript tools for working with WebAssembly (WASM) binaries.
  ☆41Updated 8 years ago
• ochafik / jstyper
  🦆 Adds Flow / TypeScript types to JavaScript files... because that hassle can be automated.
  ☆25Updated 7 years ago
• for-GET / core-pegjs
  A collection of core PEGjs grammars (IETF, ISO, etc.)
  ☆43Updated 2 years ago
• inikulin / esotope
  ECMAScript code generator on steroids
  ☆39Updated 10 years ago
• jsenv / importmap-node-module
  Generate importmap for node_modules
  ☆35Updated last month
• svg / sax
  A maintained fork of sax-js sax-style parser for XML and HTML.
  ☆15Updated 3 years ago
• tc39 / proposal-richer-keys
  Cross cutting proposals around custom identities in collections
  ☆32Updated 5 years ago
• rbuckton / grammarkdown
  Markdown-like DSL for defining grammatical syntax for programming languages.
  ☆129Updated last year
• WICG / css-parser-api
  This is the repo where the CSS Houdini parser API will be worked on
  ☆71Updated 3 years ago
• jviereck / regjsparser
  Parsing the JavaScript's RegExp in JavaScript.
  ☆81Updated 4 months ago
• alexgorbatchev / node-browser-builtins
  Browser altenatives to built-in node.js modules
  ☆62Updated 8 years ago
• esast / esast
  Type-safe EcmaScript AST representation
  ☆9Updated 9 years ago
• allenwb / ESideas
  Notes and proposals on possible EMAScript extensions
  ☆56Updated 4 years ago