Alternatives and similar repositories for formal

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

• tc39 / ecmarkdown
  A shorthand language for writing ECMAScript-style algorithms, inspired by Markdown
  ☆83Updated 2 years ago
• jsdom / webidl2js
  Auto-generate JS class structures for Web IDL specifications
  ☆84Updated 2 months ago
• tc39 / proposal-richer-keys
  Cross cutting proposals around custom identities in collections
  ☆33Updated 5 years ago
• keeyipchan / esgoggles
  Browser ide for reading and exploring javascript code
  ☆48Updated 2 years ago
• hegemonic / catharsis
  A JavaScript parser for Google Closure Compiler and JSDoc type expressions.
  ☆55Updated last week
• ModuleLoader / system-register-loader
  Module loader to load System.register modules in the browser and Node
  ☆15Updated 8 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
• zenparsing / es-abstract-refs
  Abstract References Proposal for ECMAScript
  ☆21Updated 10 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.
  ☆131Updated 2 years ago
• zenparsing / esdown
  ES6+ to ES5 Compiler
  ☆46Updated 7 years ago
• tc39 / proposal-Math.signbit
  Math.signbit
  ☆9Updated 5 years ago
• ljharb / side-channel
  Store information about any JS value in a side channel. Uses WeakMap if available.
  ☆16Updated 7 months ago
• littledan / proposal-new-initialize
  Early draft proposal to support initializing given objects with fields and private methods
  ☆15Updated 6 years ago
• data-ux / wasm-playground
  WebAssembly playground
  ☆25Updated 4 years ago
• ModuleLoader / node-es-module-loader
  ES Module Loader Node resolution implementation with CJS interop
  ☆28Updated 7 years ago
• jsdom / webidl-conversions
  Implements the Web IDL algorithms for converting to and from JavaScript values
  ☆35Updated 3 years ago
• jsenv / importmap-node-module
  Generate importmap for node_modules
  ☆36Updated last month
• tc39 / proposal-symbol-predicates
  A proposal to introduce ways to differentiate symbols
  ☆25Updated 2 years ago
• jviereck / regjsparser
  Parsing the JavaScript's RegExp in JavaScript.
  ☆81Updated 8 months ago
• juliangruber / level-fs
  node's fs module with leveldb as backend
  ☆60Updated 8 years ago
• TooTallNate / node-degenerator
  Turns sync functions into async functions
  ☆20Updated 2 years ago
• max-mapper / browser-module-sandbox
  browser editor for code that gets 'compiled' on the server with node and run on the client
  ☆62Updated 6 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
• bnjmnt4n / regjsgen
  Generate regular expressions from regjsparser’s AST.
  ☆33Updated last month
• d3x0r / JSOX
  JavaScript Object eXchange format; extended JSON/JSON6
  ☆54Updated 3 months ago
• stackgl / gl-mat3
  gl-matrix's mat3, split into smaller pieces
  ☆18Updated 6 years ago
• gulpjs / rechoir
  Prepare a node environment to require files with different extensions.
  ☆48Updated last year
• jsdom / data-urls
  Parse data: URLs
  ☆74Updated last year