Alternatives and similar repositories for formal:

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

• tc39 / proposal-symbol-predicates
  A proposal to introduce ways to differentiate symbols
  ☆24Updated last year
• tc39 / proposal-Math.signbit
  Math.signbit
  ☆9Updated 5 years ago
• keeyipchan / esgoggles
  Browser ide for reading and exploring javascript code
  ☆48Updated last year
• ModuleLoader / system-register-loader
  Module loader to load System.register modules in the browser and Node
  ☆15Updated 8 years ago
• tc39 / proposal-richer-keys
  Cross cutting proposals around custom identities in collections
  ☆32Updated 5 years ago
• jasnell / proposal-url
  Proposal to add WHATWG URL to ECMAScript
  ☆33Updated 7 years ago
• jsdom / webidl2js
  Auto-generate JS class structures for Web IDL specifications
  ☆82Updated 2 weeks ago
• littledan / proposal-new-initialize
  Early draft proposal to support initializing given objects with fields and private methods
  ☆15Updated 6 years ago
• evanw / esoptimize
  A JavaScript AST optimizer
  ☆18Updated 12 years ago
• bnjmnt4n / regjsgen
  Generate regular expressions from regjsparser’s AST.
  ☆33Updated 7 months ago
• allenwb / ESideas
  Notes and proposals on possible EMAScript extensions
  ☆56Updated 4 years ago
• for-GET / core-pegjs
  A collection of core PEGjs grammars (IETF, ISO, etc.)
  ☆43Updated 3 years ago
• data-ux / wasm-playground
  WebAssembly playground
  ☆25Updated 4 years ago
• jsenv / importmap-node-module
  Generate importmap for node_modules
  ☆35Updated 3 weeks ago
• bmeck / js-repl-goal
  A source text goal intended to be used by JS for REPLs
  ☆23Updated 4 years ago
• darkskyapp / pngparse
  100%-JavaScript PNG Parser for Node.JS
  ☆78Updated 8 years ago
• azu / ast-source
  [Require Maintainer] AST helper to transform source code.
  ☆17Updated 2 years ago
• rbuckton / grammarkdown
  Markdown-like DSL for defining grammatical syntax for programming languages.
  ☆130Updated last year
• tc39 / proposal-array-is-template-object
  TC39 proposal to identify tagged template string array objects
  ☆47Updated 6 months ago
• w3c / DOM-Parsing
  DOM Parsing and Serialization
  ☆27Updated 2 months ago
• zenparsing / es-abstract-refs
  Abstract References Proposal for ECMAScript
  ☆20Updated 10 years ago
• gulpjs / rechoir
  Prepare a node environment to require files with different extensions.
  ☆48Updated 10 months ago
• tc39 / ecmarkdown
  A shorthand language for writing ECMAScript-style algorithms, inspired by Markdown
  ☆82Updated last year
• davidbonnet / astravel
  👟 Tiny and fast ESTree-compliant AST walker and modifier.
  ☆62Updated last year
• ljharb / side-channel
  Store information about any JS value in a side channel. Uses WeakMap if available.
  ☆16Updated 4 months ago
• jviereck / regjsparser
  Parsing the JavaScript's RegExp in JavaScript.
  ☆81Updated 6 months ago
• WICG / service-worker-static-routing-api
  A repository for the ServiceWorker static routing API.
  ☆26Updated 2 months ago
• inikulin / esotope
  ECMAScript code generator on steroids
  ☆39Updated 10 years ago
• esmbly / esmbly
  A composable transpiler infrastructure for working with statically typed JavaScript and WebAssembly
  ☆21Updated 2 years ago
• nodejs / dynamic-modules
  Dynamic Modules Proposal for ECMAScript
  ☆26Updated 6 years ago