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
  ☆13Updated 3 years ago
• kaist-plrg / jiset
  JISET: JavaScript IR-based Semantics Extraction Toolchain
  ☆41Updated 2 years ago
• sukyoung / safe
  Scalable Analysis Framework for ECMAScript
  ☆119Updated 3 years ago
• sola-st / wasm-r3
  Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
  ☆26Updated 2 months ago
• julianjensen / dominators
  Various dominator tree algorithms
  ☆22Updated 4 years ago
• hatashiro / s-exify
  Beautifier for S-expression, mainly for WAT
  ☆11Updated 4 years ago
• wala / jsdelta
  A delta debugger for JavaScript
  ☆51Updated 2 years ago
• cometkim / concurrently.macro
  Transform your async function to be run concurrently much as possible
  ☆23Updated last year
• estools / esfuzz
  fuzzer for generative testing of ECMAScript parsers
  ☆59Updated 10 years ago
• cometkim / rescript-deno
  WIP: ReScript bindings to Deno API
  ☆34Updated last year
• raviqqe / fmm
  The uncurried minimal functional programming language for CPS transformation
  ☆18Updated 11 months ago
• comby-tools / comby-decomposer
  Decompose source code into templates and fragments for any language.
  ☆21Updated 2 years ago
• es-meta / esmeta
  ECMAScript Specification (ECMA-262) Metalanguage
  ☆214Updated last week
• zth / vscode-rescript-relay
  ☆14Updated last year
• tehwalris / forest
  A multi-cursor structural editor prototype for TypeScript
  ☆59Updated last year
• jozanza / re-winit
  OCaml/ReasonML bindings to winit
  ☆10Updated 4 years ago
• thefrontside / continuation
  Delimited Continuations for JavaScript
  ☆31Updated 10 months ago
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆81Updated this week
• mgaudet / SpiderMonkeyBibliography
  The Unofficial Incomplete Spidermonkey Bibliography
  ☆17Updated 3 months ago
• acieroid / wassail
  wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …
  ☆51Updated 11 months ago
• rescript-lang / std
  Light weight runtime for ReScript
  ☆15Updated last year
• qiao / immutable-sequence.js
  High performance implementation of Immutable Sequence in JavaScript, based on Finger Tree.
  ☆16Updated 9 years ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆26Updated 3 years ago
• iwillspeak / ullage
  A statically-typed compiled language defined by a simple grammar
  ☆23Updated 2 years ago
• langston-barrett / tree-splicer
  Simple grammar-based test case generator
  ☆30Updated 8 months ago
• keroxp / deno-streams
  WHATWG streams API for deno
  ☆28Updated 5 years ago
• lezer-parser / rust
  Rust grammar for Lezer
  ☆22Updated 11 months ago
• dherman / es4
  Archive of the ES4 reference interpreter that was a work-in-progress when ES4 was cancelled.
  ☆25Updated 10 years ago
• nikswamy / SafeTypeScript
  A type-safe dialect of TypeScript
  ☆25Updated 10 years ago
• reason-seoul / rescript-7guis
  The 7GUIs implemented in ReScript
  ☆15Updated 11 months ago