Alternatives and similar repositories for SJS

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

• nuprl / Stopify
  A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.
  ☆179Updated last year
• shapesecurity / shift-spec
  Shift AST Specification
  ☆191Updated 4 years ago
• indutny / wasm-jit
  WebAssembly JIT
  ☆87Updated 9 years ago
• maierfelix / mini-js
  Minimal self-hosted JavaScript compiler in 1k lines of code
  ☆163Updated 8 years ago
• dirk / hummingbird
  Experimental language
  ☆56Updated 2 years ago
• cdiggins / type-inference
  Type Inference Library written in TypeScript
  ☆93Updated 2 years ago
• brownplt / LambdaJS
  Semantics and tools for JavaScript
  ☆92Updated 3 years ago
• tmikov / jscomp
  Ahead of time JavaScript compiler
  ☆262Updated 7 years ago
• sebmarkbage / ocamlrun-wasm
  OCamlrun WebAssembly - OCaml Bytecode Interpreter in WASM
  ☆257Updated 8 years ago
• bkero / es4
  es4 clone
  ☆27Updated 11 years ago
• WebAssembly / tail-call
  Proposal to add tail calls to WebAssembly
  ☆114Updated 10 months ago
• Samsung / mimic
  Synthesizer for JavaScript API models
  ☆17Updated 2 years ago
• prakhar1989 / JSJS
  A strongly typed language for the web!
  ☆40Updated 9 years ago
• js-js / js.js
  JS JIT in JS
  ☆214Updated 11 years ago
• indutny / bitcode
  Generate binary LLVM-compatible bitcode from JS
  ☆62Updated 7 years ago
• brownplt / LambdaS5
  Semantics for ES5
  ☆82Updated 10 years ago
• qiao / immutable-sequence.js
  High performance implementation of Immutable Sequence in JavaScript, based on Finger Tree.
  ☆16Updated 10 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆56Updated 8 years ago
• mattbierner / atum
  Javascript Interpreter in Functional-Style Javascript
  ☆20Updated 7 years ago
• kripken / llvm.js
  LLVM compiled to JavaScript using Emscripten
  ☆469Updated 10 years ago
• tadeuzagallo / lc-js
  A λ-calculus interpreter written in JavaScript
  ☆160Updated 4 years ago
• drom / wast-parser
  WebAssembly AST parser
  ☆18Updated 7 years ago
• jordwalke / esy-issues
  Easy ISSUES
  ☆49Updated 8 years ago
• indutny / json-pipeline
  JSON pipeline for a hypothetical compiler
  ☆31Updated 10 years ago
• SimonJF / cmm_of_wasm
  A compiler from WebAssembly to native code, via the OCaml backend.
  ☆92Updated 7 years ago
• jdan / ocaml-web-framework
  An HTTP server and framework written from scratch in OCaml
  ☆26Updated 4 years ago
• mgechev / typed-calc
  Interpreter for simply typed lambda calculus implemented in JavaScript λ
  ☆35Updated 8 years ago
• erights / quasiParserGenerator
  A template string tag for generating template string tags.
  ☆67Updated 5 years ago
• levjj / esverify
  ECMAScript verification with SMT solvers
  ☆125Updated last year
• jldupont / prolog.js
  prolog interpreter in javascript
  ☆82Updated 8 years ago