Alternatives and similar repositories for SJS

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

• brownplt / LambdaJS
  Semantics and tools for JavaScript
  ☆92Updated 3 years ago
• nuprl / Stopify
  A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.
  ☆179Updated last year
• jdan / ocaml-web-framework
  An HTTP server and framework written from scratch in OCaml
  ☆26Updated 4 years ago
• sebmarkbage / ocamlrun-wasm
  OCamlrun WebAssembly - OCaml Bytecode Interpreter in WASM
  ☆256Updated 8 years ago
• dirk / hummingbird
  Experimental language
  ☆56Updated last year
• shapesecurity / shift-spec
  Shift AST Specification
  ☆191Updated 4 years ago
• indutny / wasm-jit
  WebAssembly JIT
  ☆87Updated 9 years ago
• jordwalke / CommonML
  Simple OCaml Development Workflow on CommonJS
  ☆97Updated 6 years ago
• brownplt / LambdaS5
  Semantics for ES5
  ☆82Updated 9 years ago
• js-js / js.js
  JS JIT in JS
  ☆215Updated 10 years ago
• tmikov / jscomp
  Ahead of time JavaScript compiler
  ☆261Updated 7 years ago
• tadeuzagallo / lc-js
  A λ-calculus interpreter written in JavaScript
  ☆159Updated 3 years ago
• cdiggins / type-inference
  Type Inference Library written in TypeScript
  ☆93Updated 2 years ago
• janestreet / jenga
  Build system
  ☆90Updated 7 years ago
• jordwalke / esy-issues
  Easy ISSUES
  ☆49Updated 8 years ago
• WebAssembly / tail-call
  Proposal to add tail calls to WebAssembly
  ☆114Updated 7 months ago
• maierfelix / mini-js
  Minimal self-hosted JavaScript compiler in 1k lines of code
  ☆163Updated 8 years ago
• fxfactorial / ocaml-nodejs
  Write OCaml, run on node.
  ☆82Updated 2 weeks 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
• jordwalke / PackageJsonForCompilers
  Proposal for allowing compiled languages to use the package.json sandbox model
  ☆26Updated 8 years ago
• soney / interstate
  ☆53Updated 4 years ago
• bkero / es4
  es4 clone
  ☆27Updated 11 years ago
• kframework / javascript-semantics
  KJS: A Complete Formal Semantics of JavaScript
  ☆90Updated 9 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• mraleph / moe-js
  Automatically exported from code.google.com/p/moe-js
  ☆29Updated 10 years ago
• Schmavery / refmt-web
  [OLD/Deprecated] Translate OCaml to Reason ON THE WEB
  ☆18Updated 8 years ago
• qiao / immutable-sequence.js
  High performance implementation of Immutable Sequence in JavaScript, based on Finger Tree.
  ☆16Updated 10 years ago
• erights / quasiParserGenerator
  A template string tag for generating template string tags.
  ☆67Updated 5 years ago
• SimonJF / cmm_of_wasm
  A compiler from WebAssembly to native code, via the OCaml backend.
  ☆92Updated 7 years ago