Alternatives and similar repositories for formal

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

• davidbonnet / astravel
  👟 Tiny and fast ESTree-compliant AST walker and modifier.
  ☆63Updated last year
• bnjmnt4n / regjsgen
  Generate regular expressions from regjsparser’s AST.
  ☆33Updated 2 weeks ago
• tc39 / proposal-Math.signbit
  Math.signbit
  ☆9Updated 5 years ago
• evanw / esoptimize
  A JavaScript AST optimizer
  ☆18Updated 12 years ago
• ljharb / side-channel
  Store information about any JS value in a side channel. Uses WeakMap if available.
  ☆16Updated 5 months ago
• ModuleLoader / system-register-loader
  Module loader to load System.register modules in the browser and Node
  ☆15Updated 8 years ago
• zenparsing / esdown
  ES6+ to ES5 Compiler
  ☆46Updated 7 years ago
• jviereck / regjsparser
  Parsing the JavaScript's RegExp in JavaScript.
  ☆81Updated 7 months ago
• esast / esast
  Type-safe EcmaScript AST representation
  ☆9Updated 9 years ago
• keeyipchan / esgoggles
  Browser ide for reading and exploring javascript code
  ☆48Updated last year
• hegemonic / catharsis
  A JavaScript parser for Google Closure Compiler and JSDoc type expressions.
  ☆55Updated last week
• kapetan / repaint
  HTML layout engine
  ☆48Updated 3 years ago
• stackgl / gl-mat3
  gl-matrix's mat3, split into smaller pieces
  ☆18Updated 6 years ago
• dcodeIO / ascli
  A uniform foundation for unobtrusive (ASCII art in) cli apps.
  ☆10Updated 8 years ago
• tschneidereit / proposal-typed-objects
  Proposal for adding Typed Objects to JavaScript
  ☆27Updated 4 years ago
• jsdom / js-symbol-tree
  Turn any collection of objects into its own efficient tree or linked list using Symbol
  ☆110Updated 5 years ago
• tc39 / proposal-symbol-predicates
  A proposal to introduce ways to differentiate symbols
  ☆24Updated 2 years ago
• zenparsing / esparse
  A Beautiful Parser for the ECMAScript Language
  ☆115Updated 6 years ago
• tc39 / proposal-richer-keys
  Cross cutting proposals around custom identities in collections
  ☆32Updated 5 years ago
• darkskyapp / pngparse
  100%-JavaScript PNG Parser for Node.JS
  ☆78Updated 8 years ago
• streamich / linkfs
  Rewrite file system `fs` paths
  ☆59Updated this week
• rbuckton / grammarkdown
  Markdown-like DSL for defining grammatical syntax for programming languages.
  ☆131Updated last year
• azu / ast-source
  [Require Maintainer] AST helper to transform source code.
  ☆17Updated 2 years ago
• fb55 / bitfield
  A bitfield implementation using buffers, compliant with the BitTorrent spec.
  ☆86Updated this week
• ksherlock / better-babel-cli
  a better babel command-line utility
  ☆11Updated 6 years ago
• jsdom / webidl2js
  Auto-generate JS class structures for Web IDL specifications
  ☆84Updated 3 weeks ago
• RReverser / jsx-transpiler
  Parses and compiles JSX code to JavaScript AST or code.
  ☆26Updated 10 years ago
• tc39 / ecmarkdown
  A shorthand language for writing ECMAScript-style algorithms, inspired by Markdown
  ☆82Updated last year
• foliojs / tiny-inflate
  A tiny inflate implementation
  ☆49Updated last year
• zenparsing / es-abstract-refs
  Abstract References Proposal for ECMAScript
  ☆20Updated 10 years ago