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
• rbuckton / grammarkdown
  Markdown-like DSL for defining grammatical syntax for programming languages.
  ☆132Updated 2 years ago
• kapetan / repaint
  HTML layout engine
  ☆49Updated 3 years ago
• rauschma / op_overload
  Fake operator overloading used by a type Point
  ☆47Updated 13 years ago
• inikulin / esotope
  ECMAScript code generator on steroids
  ☆39Updated 10 years ago
• jviereck / regjsparser
  Parsing the JavaScript's RegExp in JavaScript.
  ☆82Updated 9 months ago
• jsdom / js-symbol-tree
  Turn any collection of objects into its own efficient tree or linked list using Symbol
  ☆111Updated 5 years ago
• zenparsing / esparse
  A Beautiful Parser for the ECMAScript Language
  ☆115Updated 6 years ago
• lars-t-hansen / parlib-simple
  Simple utilities on top of SharedArrayBuffer / SharedTypedArray
  ☆119Updated last year
• metaes / metaes
  JavaScript in JavaScript interpreter for better tools.
  ☆139Updated 2 years ago
• codemix / malloc
  Simple malloc() & free() implementation for node.js, built on top of array buffers.
  ☆25Updated 9 years ago
• mikolalysenko / box-intersect-benchmark
  Box intersection benchmark
  ☆75Updated 10 years ago
• kig / bitview.js
  BitView does per-bit access to ArrayBuffers (like DataView for bits)
  ☆38Updated 13 years ago
• ashaffer / dift
  ☆55Updated 8 years ago
• lemire / TypedFastBitSet.js
  Speed-optimized BitSet implementation for modern browsers and JavaScript engines, uses typed arrays
  ☆111Updated 2 months ago
• zbjornson / human-asmjs
  Tips and tricks for writing asm.js as a human - Note: WebAssembly has replaced asm.js, so this is no longer maintained.
  ☆150Updated 7 years ago
• foliojs / tiny-inflate
  A tiny inflate implementation
  ☆49Updated last year
• foliojs / dfa
  State machine compiler with regular expression style syntax
  ☆61Updated 5 years ago
• jsbin / loop-protect
  An extraction of JS Bin's loop protection functionality.
  ☆197Updated 2 years ago
• davidbonnet / astravel
  👟 Tiny and fast ESTree-compliant AST walker and modifier.
  ☆63Updated last year
• dcodeIO / node-memcpy
  Copies data between node Buffers and/or ArrayBuffers up to ~75 times faster than in pure JS.
  ☆53Updated 10 years ago
• jsdom / webidl2js
  Auto-generate JS class structures for Web IDL specifications
  ☆84Updated 3 months 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
• indutny / wasm-jit
  WebAssembly JIT
  ☆88Updated 9 years ago
• nodeca / multimath
  WebAssembly wrapper to simplify fast math coding
  ☆73Updated 4 years ago
• tc39 / ecmarkdown
  A shorthand language for writing ECMAScript-style algorithms, inspired by Markdown
  ☆83Updated 2 years ago
• josdejong / typed-function
  Runtime type-checking for JavaScript functions
  ☆74Updated last year
• mikolalysenko / ndarray-experiments
  Multidimensional typed arrays in JS
  ☆45Updated 12 years ago