Alternatives and similar repositories for jstar

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

• kaist-plrg / jest
  JEST: N+1-version Differential Testing of Both JavaScript Engines
  ☆15Updated 4 years ago
• kaist-plrg / jiset
  JISET: JavaScript IR-based Semantics Extraction Toolchain
  ☆42Updated 2 years ago
• kwanghoon / polyrpc
  PolyRPC, A multi-tier functional programming language
  ☆20Updated 2 years ago
• sukyoung / safe
  Scalable Analysis Framework for ECMAScript
  ☆118Updated 4 years ago
• Samsung / SJS
  SJS is a static ahead of time compiler for a subset of JavaScript
  ☆46Updated 2 years ago
• cometkim / rescript-deno
  WIP: ReScript bindings to Deno API
  ☆34Updated last year
• zth / vscode-rescript-relay
  ☆15Updated 2 years ago
• thefrontside / continuation
  Delimited Continuations for JavaScript
  ☆33Updated last year
• hatashiro / s-exify
  Beautifier for S-expression, mainly for WAT
  ☆11Updated 5 years ago
• sola-st / wasm-r3
  Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
  ☆29Updated 3 weeks ago
• cometkim / concurrently.macro
  Transform your async function to be run concurrently much as possible
  ☆23Updated last year
• fluffynukeit / scbt
  Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019
  ☆11Updated 5 years ago
• gwyng-dev / react-eff-hook
  ☆22Updated last year
• dherman / es4
  Archive of the ES4 reference interpreter that was a work-in-progress when ES4 was cancelled.
  ☆26Updated 11 years ago
• julianjensen / dominators
  Various dominator tree algorithms
  ☆23Updated 5 years ago
• no-context / gruffalo
  JS parser generator. As fast as yacc, but accepts any grammar!
  ☆15Updated 8 years ago
• pbkit / pbkit-devtools
  pbkit devtools
  ☆12Updated 2 years ago
• jozanza / re-winit
  OCaml/ReasonML bindings to winit
  ☆10Updated 4 years ago
• mattiamanzati / typelevel-interpreter
  Language and working Interpreter using only TypeScript types (no JavaScript either written or emitted)
  ☆36Updated 7 years ago
• ManasJayanth / reason-on-multicore
  Writing multicore programs with Reason
  ☆15Updated 4 years ago
• raviqqe / fmm
  The uncurried minimal functional programming language for CPS transformation
  ☆18Updated last year
• bobzhang / belt-simple-bench
  ☆12Updated 7 years ago
• jaredly / jerd
  ☆37Updated 3 years ago
• damhiya / MetaLambda
  ☆13Updated last year
• grain-lang / grain-language-server
  Grain support for Visual Studio Code
  ☆23Updated 6 months ago
• keroxp / deno-streams
  WHATWG streams API for deno
  ☆28Updated 5 years ago
• ENvironmentSet / lambda2wasm
  A Lambda expression compiler targeting web assembly.
  ☆20Updated 10 months ago
• mgaudet / SpiderMonkeyBibliography
  The Unofficial Incomplete Spidermonkey Bibliography
  ☆17Updated 7 months ago
• reason-seoul / rescript-7guis
  The 7GUIs implemented in ReScript
  ☆16Updated last year
• phlummox / hs-perl5
  embedded Perl 5 interpreter in Haskell, forked from https://github.com/perl6/Pugs.hs. Candidate package on hackage at https://hackage.has…
  ☆12Updated 4 years ago