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 / LambdaJS
  Semantics and tools for JavaScript
  ☆92Updated 3 years ago
• brownplt / LambdaS5
  Semantics for ES5
  ☆82Updated 9 years ago
• SimonJF / cmm_of_wasm
  A compiler from WebAssembly to native code, via the OCaml backend.
  ☆92Updated 7 years ago
• cdiggins / type-inference
  Type Inference Library written in TypeScript
  ☆93Updated 2 years ago
• TomBebbington / js.rs
  An experimental Javascript parser and just-in-time compiler written in Rust
  ☆137Updated 10 years ago
• js-js / js.js
  JS JIT in JS
  ☆215Updated 10 years ago
• sebmarkbage / ocamlrun-wasm
  OCamlrun WebAssembly - OCaml Bytecode Interpreter in WASM
  ☆256Updated 8 years ago
• dirk / hummingbird
  Experimental language
  ☆56Updated last year
• tmikov / jscomp
  Ahead of time JavaScript compiler
  ☆260Updated 6 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• shapesecurity / shift-spec
  Shift AST Specification
  ☆190Updated 4 years ago
• tadeuzagallo / lc-js
  A λ-calculus interpreter written in JavaScript
  ☆159Updated 3 years ago
• indutny / wasm-jit
  WebAssembly JIT
  ☆88Updated 9 years ago
• Schmavery / refmt-web
  [OLD/Deprecated] Translate OCaml to Reason ON THE WEB
  ☆18Updated 8 years ago
• WebAssembly / tail-call
  Proposal to add tail calls to WebAssembly
  ☆114Updated 6 months ago
• maierfelix / mini-js
  Minimal self-hosted JavaScript compiler in 1k lines of code
  ☆163Updated 8 years ago
• prakhar1989 / JSJS
  A strongly typed language for the web!
  ☆40Updated 9 years ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆29Updated 6 years ago
• jdan / ocaml-web-framework
  An HTTP server and framework written from scratch in OCaml
  ☆26Updated 4 years ago
• qiao / immutable-sequence.js
  High performance implementation of Immutable Sequence in JavaScript, based on Finger Tree.
  ☆16Updated 10 years ago
• Samsung / mimic
  Synthesizer for JavaScript API models
  ☆18Updated 2 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
• WebAssembly / multi-value
  Proposal to add multi-values to WebAssembly
  ☆73Updated 3 years ago
• jordwalke / esy-issues
  Easy ISSUES
  ☆49Updated 8 years ago
• esrille / esidl
  The Esidl Web IDL compiler for C++11
  ☆31Updated 11 years ago
• dcodeIO / WebAssembly-prototype
  [OUTDATED] JavaScript tools for working with WebAssembly (WASM) binaries.
  ☆41Updated 9 years ago
• jscert / jscert
  A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
  ☆201Updated last year
• fxfactorial / ocaml-nodejs
  Write OCaml, run on node.
  ☆82Updated 2 years ago