Alternatives and similar repositories for formal

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

• darkskyapp / pngparse
  100%-JavaScript PNG Parser for Node.JS
  ☆78Updated 8 years ago
• kapetan / repaint
  HTML layout engine
  ☆50Updated 4 years ago
• rauschma / op_overload
  Fake operator overloading used by a type Point
  ☆47Updated 14 years ago
• codemix / malloc
  Simple malloc() & free() implementation for node.js, built on top of array buffers.
  ☆25Updated 9 years ago
• jviereck / regjsparser
  Parsing the JavaScript's RegExp in JavaScript.
  ☆82Updated 2 months ago
• fb55 / bitfield
  A bitfield implementation using buffers, compliant with the BitTorrent spec.
  ☆88Updated this week
• foliojs / dfa
  State machine compiler with regular expression style syntax
  ☆62Updated 6 years ago
• evanw / esoptimize
  A JavaScript AST optimizer
  ☆18Updated 12 years ago
• jsdom / webidl2js
  Auto-generate JS class structures for Web IDL specifications
  ☆97Updated 2 months ago
• foliojs / tiny-inflate
  A tiny inflate implementation
  ☆50Updated 2 years ago
• hegemonic / catharsis
  A JavaScript parser for Google Closure Compiler and JSDoc type expressions.
  ☆56Updated 2 weeks ago
• mikolalysenko / interval-tree-1d
  1D interval tree
  ☆72Updated 2 years ago
• keeyipchan / esgoggles
  Browser ide for reading and exploring javascript code
  ☆48Updated 2 years ago
• scijs / almost-equal
  Test if two floats are nearly equal
  ☆28Updated 9 years ago
• jsenv / importmap-node-module
  Generate importmap for node_modules
  ☆38Updated 8 months ago
• jsdom / js-symbol-tree
  Turn any collection of objects into its own efficient tree or linked list using Symbol
  ☆113Updated 5 years ago
• lars-t-hansen / parlib-simple
  Simple utilities on top of SharedArrayBuffer / SharedTypedArray
  ☆119Updated last year
• ashaffer / dift
  ☆56Updated 9 years ago
• thysultan / jsx.js
  small and extendable jsx transpiler
  ☆19Updated 7 years ago
• nodeca / multimath
  WebAssembly wrapper to simplify fast math coding
  ☆72Updated 4 years ago
• rbuckton / grammarkdown
  Markdown-like DSL for defining grammatical syntax for programming languages.
  ☆135Updated 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 2 months ago
• davidbonnet / astravel
  👟 Tiny and fast ESTree-compliant AST walker and modifier.
  ☆63Updated 2 years ago
• bnjmnt4n / regjsgen
  Generate regular expressions from regjsparser’s AST.
  ☆33Updated last month
• zenparsing / esdown
  ES6+ to ES5 Compiler
  ☆48Updated 8 years ago
• colinmeinke / wilderness-dom-node
  A set of functions to convert between SVG DOM nodes, Plain Shape Objects and Frame Shapes
  ☆14Updated 7 years ago
• marten-de-vries / evaljs
  A JavaScript interpreter written in JavaScript
  ☆97Updated 8 years ago
• alexgorbatchev / node-browser-builtins
  Browser altenatives to built-in node.js modules
  ☆62Updated 9 years ago
• Yomguithereal / obliterator
  Higher order iterator library for JavaScript and TypeScript.
  ☆59Updated last year
• zenparsing / es-abstract-refs
  Abstract References Proposal for ECMAScript
  ☆21Updated 10 years ago