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
• kapetan / repaint
  HTML layout engine
  ☆49Updated 4 years ago
• rbuckton / grammarkdown
  Markdown-like DSL for defining grammatical syntax for programming languages.
  ☆134Updated 2 years ago
• jsdom / js-symbol-tree
  Turn any collection of objects into its own efficient tree or linked list using Symbol
  ☆113Updated 5 years ago
• foliojs / tiny-inflate
  A tiny inflate implementation
  ☆50Updated 2 years ago
• foliojs / dfa
  State machine compiler with regular expression style syntax
  ☆62Updated 6 years ago
• shapesecurity / shift-spec
  Shift AST Specification
  ☆191Updated 4 years ago
• mikolalysenko / interval-tree-1d
  1D interval tree
  ☆72Updated 2 years ago
• ajvincent / es-membrane
  An ECMAScript implementation of a Membrane, allowing users to dynamically hide, override, or extend objects in JavaScript with controlled…
  ☆117Updated last month
• jviereck / regjsparser
  Parsing the JavaScript's RegExp in JavaScript.
  ☆82Updated last month
• lars-t-hansen / parlib-simple
  Simple utilities on top of SharedArrayBuffer / SharedTypedArray
  ☆119Updated last year
• inikulin / esotope
  ECMAScript code generator on steroids
  ☆39Updated 11 years ago
• AssemblyScript / wabt.js
  A buildbot for wabt.js, a port of WABT to the Web, with TypeScript support.
  ☆170Updated this week
• davidbonnet / astravel
  👟 Tiny and fast ESTree-compliant AST walker and modifier.
  ☆63Updated 2 years ago
• keeyipchan / esgoggles
  Browser ide for reading and exploring javascript code
  ☆48Updated 2 years ago
• llafuente / esprima-ast-utils
  Utility library to manipulate, transform, query and debug esprima ASTs.
  ☆30Updated 8 years ago
• jsenv / importmap-node-module
  Generate importmap for node_modules
  ☆37Updated 7 months ago
• darkskyapp / pngparse
  100%-JavaScript PNG Parser for Node.JS
  ☆78Updated 8 years ago
• rauschma / op_overload
  Fake operator overloading used by a type Point
  ☆47Updated 14 years ago
• ashaffer / dift
  ☆56Updated 9 years ago
• tc39 / ecmarkdown
  A shorthand language for writing ECMAScript-style algorithms, inspired by Markdown
  ☆83Updated 2 years ago
• dy / subscript
  Expression parser / evaluator.
  ☆141Updated this week
• tschneidereit / proposal-typed-objects
  Proposal for adding Typed Objects to JavaScript
  ☆29Updated 4 years ago
• michaelficarra / everything.js
  a single javascript file that contains every ECMA-262 grammatical production
  ☆129Updated 10 years ago
• io-monad / line-column
  Node module to convert efficiently index to/from line-column in a string.
  ☆15Updated last year
• josdejong / typed-function
  Runtime type-checking for JavaScript functions
  ☆78Updated last week
• indutny / wasm-jit
  WebAssembly JIT
  ☆87Updated 9 years ago
• nodeca / multimath
  WebAssembly wrapper to simplify fast math coding
  ☆72Updated 4 years ago
• SevInf / heiss
  Hot module reloading prototype with native (almost) ES6 modules
  ☆28Updated 3 years ago
• jsbin / loop-protect
  An extraction of JS Bin's loop protection functionality.
  ☆198Updated 3 years ago