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
• lars-t-hansen / parlib-simple
  Simple utilities on top of SharedArrayBuffer / SharedTypedArray
  ☆119Updated last year
• ashaffer / dift
  ☆55Updated 8 years ago
• kapetan / repaint
  HTML layout engine
  ☆49Updated 3 years ago
• codemix / malloc
  Simple malloc() & free() implementation for node.js, built on top of array buffers.
  ☆25Updated 9 years ago
• jsdom / webidl2js
  Auto-generate JS class structures for Web IDL specifications
  ☆84Updated 2 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 2 months ago
• indutny / wasm-jit
  WebAssembly JIT
  ☆88Updated 9 years ago
• keeyipchan / esgoggles
  Browser ide for reading and exploring javascript code
  ☆48Updated 2 years ago
• rbuckton / grammarkdown
  Markdown-like DSL for defining grammatical syntax for programming languages.
  ☆131Updated 2 years ago
• darkskyapp / pngparse
  100%-JavaScript PNG Parser for Node.JS
  ☆78Updated 8 years ago
• dcodeIO / WebAssembly-prototype
  [OUTDATED] JavaScript tools for working with WebAssembly (WASM) binaries.
  ☆41Updated 9 years ago
• jsbin / loop-protect
  An extraction of JS Bin's loop protection functionality.
  ☆197Updated 2 years ago
• fb55 / bitfield
  A bitfield implementation using buffers, compliant with the BitTorrent spec.
  ☆86Updated last week
• rauschma / op_overload
  Fake operator overloading used by a type Point
  ☆47Updated 13 years ago
• tschneidereit / proposal-typed-objects
  Proposal for adding Typed Objects to JavaScript
  ☆28Updated 4 years ago
• inikulin / esotope
  ECMAScript code generator on steroids
  ☆39Updated 10 years ago
• jsdom / js-symbol-tree
  Turn any collection of objects into its own efficient tree or linked list using Symbol
  ☆112Updated 5 years ago
• foliojs / dfa
  State machine compiler with regular expression style syntax
  ☆61Updated 5 years ago
• drom / wast-parser
  WebAssembly AST parser
  ☆18Updated 6 years ago
• dcodeIO / node-memcpy
  Copies data between node Buffers and/or ArrayBuffers up to ~75 times faster than in pure JS.
  ☆53Updated 10 years ago
• kig / bitview.js
  BitView does per-bit access to ArrayBuffers (like DataView for bits)
  ☆38Updated 13 years ago
• bnjmnt4n / regjsgen
  Generate regular expressions from regjsparser’s AST.
  ☆33Updated 2 months ago
• erights / quasiParserGenerator
  A template string tag for generating template string tags.
  ☆66Updated 4 years ago
• hegemonic / catharsis
  A JavaScript parser for Google Closure Compiler and JSDoc type expressions.
  ☆55Updated last week
• jviereck / regjsparser
  Parsing the JavaScript's RegExp in JavaScript.
  ☆81Updated 9 months ago
• llafuente / esprima-ast-utils
  Utility library to manipulate, transform, query and debug esprima ASTs.
  ☆30Updated 7 years ago
• jlongster / LLJS
  LLJS: Low-Level JavaScript
  ☆112Updated 11 years ago
• shapesecurity / shift-spec
  Shift AST Specification
  ☆190Updated 3 years ago
• jsenv / importmap-node-module
  Generate importmap for node_modules
  ☆36Updated last month