Alternatives and similar repositories for formal

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

• evanw / esoptimize
  A JavaScript AST optimizer
  ☆18Updated 12 years ago
• bnjmnt4n / regjsgen
  Generate regular expressions from regjsparser’s AST.
  ☆33Updated last month
• ModuleLoader / system-register-loader
  Module loader to load System.register modules in the browser and Node
  ☆15Updated 8 years ago
• hegemonic / catharsis
  A JavaScript parser for Google Closure Compiler and JSDoc type expressions.
  ☆55Updated last week
• tc39 / proposal-Math.signbit
  Math.signbit
  ☆9Updated 5 years ago
• data-ux / wasm-playground
  WebAssembly playground
  ☆25Updated 4 years ago
• keeyipchan / esgoggles
  Browser ide for reading and exploring javascript code
  ☆48Updated last year
• jsdom / webidl2js
  Auto-generate JS class structures for Web IDL specifications
  ☆84Updated last month
• jsenv / importmap-node-module
  Generate importmap for node_modules
  ☆36Updated 2 weeks ago
• jasnell / proposal-url
  Proposal to add WHATWG URL to ECMAScript
  ☆33Updated 7 years ago
• streamich / bamboo
  Bamboo - Node.js clone in pure JavaScript
  ☆41Updated 5 years ago
• io-monad / line-column
  Node module to convert efficiently index to/from line-column in a string.
  ☆15Updated 11 months ago
• zenparsing / esdown
  ES6+ to ES5 Compiler
  ☆46Updated 7 years ago
• tc39 / ecmarkdown
  A shorthand language for writing ECMAScript-style algorithms, inspired by Markdown
  ☆83Updated last year
• davidbonnet / astravel
  👟 Tiny and fast ESTree-compliant AST walker and modifier.
  ☆63Updated last year
• tc39 / proposal-richer-keys
  Cross cutting proposals around custom identities in collections
  ☆32Updated 5 years ago
• jsdom / webidl-conversions
  Implements the Web IDL algorithms for converting to and from JavaScript values
  ☆35Updated 3 years ago
• inikulin / esotope
  ECMAScript code generator on steroids
  ☆39Updated 10 years ago
• esast / esast
  Type-safe EcmaScript AST representation
  ☆9Updated 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
• RReverser / jsx-transpiler
  Parses and compiles JSX code to JavaScript AST or code.
  ☆26Updated 10 years ago
• jviereck / regjsparser
  Parsing the JavaScript's RegExp in JavaScript.
  ☆81Updated 7 months ago
• kapetan / repaint
  HTML layout engine
  ☆48Updated 3 years ago
• inspect-js / object-inspect
  string representations of objects in node and the browser
  ☆148Updated 4 months ago
• ajvincent / es-membrane
  An ECMAScript implementation of a Membrane, allowing users to dynamically hide, override, or extend objects in JavaScript with controlled…
  ☆116Updated 3 weeks ago
• toolness / jsondown
  A drop-in replacement for LevelDOWN that writes to a JSON file on disk.
  ☆37Updated 2 years ago
• ljharb / side-channel
  Store information about any JS value in a side channel. Uses WeakMap if available.
  ☆16Updated 6 months ago
• jsdom / whatwg-mimetype
  Parses, serializes, and manipulates MIME types, according to the WHATWG MIME Sniffing Standard
  ☆87Updated 2 months ago
• bmeck / js-repl-goal
  A source text goal intended to be used by JS for REPLs
  ☆23Updated 4 years ago
• web-native / chtml
  A suite of new DOM features that brings language support for modern UI development paradigms: a component-based architecture, data bindin…
  ☆8Updated 4 years ago