Alternatives and similar repositories for SJS

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

• Samsung / mimic
  Synthesizer for JavaScript API models
  ☆18Updated 2 years ago
• nuprl / Stopify
  A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.
  ☆177Updated last year
• brownplt / LambdaJS
  Semantics and tools for JavaScript
  ☆92Updated 3 years ago
• tmikov / jscomp
  Ahead of time JavaScript compiler
  ☆258Updated 6 years ago
• shapesecurity / shift-spec
  Shift AST Specification
  ☆190Updated 3 years ago
• qiao / immutable-sequence.js
  High performance implementation of Immutable Sequence in JavaScript, based on Finger Tree.
  ☆16Updated 9 years ago
• js-js / js.js
  JS JIT in JS
  ☆215Updated 10 years ago
• dirk / hummingbird
  Experimental language
  ☆56Updated last year
• WebAssembly / tail-call
  Proposal to add tail calls to WebAssembly
  ☆114Updated 5 months ago
• TomBebbington / js.rs
  An experimental Javascript parser and just-in-time compiler written in Rust
  ☆136Updated 10 years ago
• maierfelix / mini-js
  Minimal self-hosted JavaScript compiler in 1k lines of code
  ☆163Updated 7 years ago
• indutny / wasm-jit
  WebAssembly JIT
  ☆88Updated 9 years ago
• cdiggins / type-inference
  Type Inference Library written in TypeScript
  ☆93Updated 2 years ago
• erights / quasiParserGenerator
  A template string tag for generating template string tags.
  ☆66Updated 4 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• mattbierner / atum
  Javascript Interpreter in Functional-Style Javascript
  ☆19Updated 7 years ago
• tadeuzagallo / lc-js
  A λ-calculus interpreter written in JavaScript
  ☆158Updated 3 years ago
• kframework / javascript-semantics
  KJS: A Complete Formal Semantics of JavaScript
  ☆89Updated 8 years ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆28Updated 6 years ago
• mraleph / moe-js
  Automatically exported from code.google.com/p/moe-js
  ☆29Updated 10 years ago
• brownplt / LambdaS5
  Semantics for ES5
  ☆82Updated 9 years ago
• localvoid / vdom-benchmark
  Virtual DOM diff/patch benchmark
  ☆49Updated 10 years ago
• sebmarkbage / ocamlrun-wasm
  OCamlrun WebAssembly - OCaml Bytecode Interpreter in WASM
  ☆256Updated 8 years ago
• kripken / llvm.js
  LLVM compiled to JavaScript using Emscripten
  ☆468Updated 10 years ago
• bkero / es4
  es4 clone
  ☆27Updated 11 years ago
• mostjs / hold
  Deliver the most recently seen event to new observers
  ☆30Updated 2 years ago
• mgaudet / SpiderMonkeyBibliography
  The Unofficial Incomplete Spidermonkey Bibliography
  ☆17Updated 9 months ago
• js-js / jit.js
  JIT Assembler in javascript
  ☆288Updated 9 years ago
• levjj / esverify
  ECMAScript verification with SMT solvers
  ☆124Updated last year
• mostjs-community / most-dispatch
  A selective multicast operator for Most.js
  ☆14Updated 2 years ago