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
• brownplt / LambdaS5
  Semantics for ES5
  ☆82Updated 10 years ago
• brownplt / LambdaJS
  Semantics and tools for JavaScript
  ☆92Updated 3 years ago
• shapesecurity / shift-spec
  Shift AST Specification
  ☆191Updated 4 years ago
• Samsung / mimic
  Synthesizer for JavaScript API models
  ☆17Updated 2 years ago
• cdiggins / type-inference
  Type Inference Library written in TypeScript
  ☆93Updated 2 years ago
• jordwalke / CommonML
  Simple OCaml Development Workflow on CommonJS
  ☆97Updated 6 years ago
• sebmarkbage / ocamlrun-wasm
  OCamlrun WebAssembly - OCaml Bytecode Interpreter in WASM
  ☆257Updated 8 years ago
• indutny / wasm-jit
  WebAssembly JIT
  ☆87Updated 9 years ago
• js-js / js.js
  JS JIT in JS
  ☆214Updated 10 years ago
• qiao / immutable-sequence.js
  High performance implementation of Immutable Sequence in JavaScript, based on Finger Tree.
  ☆16Updated 10 years ago
• maierfelix / mini-js
  Minimal self-hosted JavaScript compiler in 1k lines of code
  ☆163Updated 8 years ago
• kframework / javascript-semantics
  KJS: A Complete Formal Semantics of JavaScript
  ☆103Updated 9 years ago
• prakhar1989 / JSJS
  A strongly typed language for the web!
  ☆40Updated 9 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆56Updated 8 years ago
• jdan / ocaml-web-framework
  An HTTP server and framework written from scratch in OCaml
  ☆26Updated 4 years ago
• jordwalke / esy-issues
  Easy ISSUES
  ☆49Updated 8 years ago
• tmikov / jscomp
  Ahead of time JavaScript compiler
  ☆261Updated 7 years ago
• roman01la / js-memory-usage
  Data Structures Memory Usage in JavaScript
  ☆57Updated 3 years ago
• bkero / es4
  es4 clone
  ☆27Updated 11 years ago
• fxfactorial / ocaml-nodejs
  Write OCaml, run on node.
  ☆82Updated 2 months ago
• dirk / hummingbird
  Experimental language
  ☆56Updated 2 years ago
• soney / interstate
  ☆53Updated 5 years ago
• mgechev / typed-calc
  Interpreter for simply typed lambda calculus implemented in JavaScript λ
  ☆35Updated 8 years ago
• jordwalke / PackageJsonForCompilers
  Proposal for allowing compiled languages to use the package.json sandbox model
  ☆26Updated 8 years ago
• mattbierner / atum
  Javascript Interpreter in Functional-Style Javascript
  ☆20Updated 7 years ago
• erights / quasiParserGenerator
  A template string tag for generating template string tags.
  ☆67Updated 5 years ago
• WebAssembly / tail-call
  Proposal to add tail calls to WebAssembly
  ☆114Updated 9 months ago
• mgaudet / SpiderMonkeyBibliography
  The Unofficial Incomplete Spidermonkey Bibliography
  ☆17Updated last year
• mostjs-community / most-dispatch
  A selective multicast operator for Most.js
  ☆14Updated 3 years ago