Alternatives and similar repositories for jstar

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

• kaist-plrg / jiset
  JISET: JavaScript IR-based Semantics Extraction Toolchain
  ☆42Updated 2 years ago
• kaist-plrg / jest
  JEST: N+1-version Differential Testing of Both JavaScript Engines
  ☆15Updated 4 years ago
• sola-st / wasm-r3
  Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
  ☆29Updated last month
• cometkim / rescript-deno
  WIP: ReScript bindings to Deno API
  ☆34Updated last year
• cometkim / concurrently.macro
  Transform your async function to be run concurrently much as possible
  ☆23Updated last year
• jozanza / re-winit
  OCaml/ReasonML bindings to winit
  ☆10Updated 4 years ago
• sukyoung / safe
  Scalable Analysis Framework for ECMAScript
  ☆118Updated 4 years ago
• cometkim / rescript-vitest
  ReScript bindings to Vitest
  ☆49Updated last week
• reason-seoul / rescript-7guis
  The 7GUIs implemented in ReScript
  ☆16Updated last year
• smorimoto / coq-to-ocaml-to-js
  Proof of concept to generate safe and fast JavaScript
  ☆24Updated 2 years ago
• zth / vscode-rescript-relay
  ☆15Updated 2 years ago
• pbkit / pbkit-devtools
  pbkit devtools
  ☆12Updated 2 years ago
• samoht / dyntype
  Dynamic types for OCaml
  ☆25Updated 9 years ago
• Samsung / SJS
  SJS is a static ahead of time compiler for a subset of JavaScript
  ☆46Updated 2 years ago
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆55Updated this week
• grain-lang / grain-language-server
  Grain support for Visual Studio Code
  ☆23Updated 7 months ago
• Zeta611 / react-trace
  ⚛ React-tRace
  ☆22Updated last week
• raviqqe / fmm
  The uncurried minimal functional programming language for CPS transformation
  ☆18Updated last year
• comby-tools / comby-decomposer
  Decompose source code into templates and fragments for any language.
  ☆22Updated 2 years ago
• iwillspeak / ullage
  A statically-typed compiled language defined by a simple grammar
  ☆24Updated 2 years ago
• effect-handlers / wasm-effect-handlers
  WebAssembly specification, reference interpreter, and test suite with effect handlers extension.
  ☆33Updated 3 years ago
• green-labs / ppx_ts
  ReScript PPX helps the binding to typescript modules
  ☆35Updated last year
• reason-seoul / snowpack-rescript-react
  A project template to start ReScript React with Snowpack
  ☆22Updated 4 years ago
• I-mikan-I / zlox
  lox virtual machine implementation in zig!
  ☆27Updated 2 years ago
• patricoferris / riscv-o-spec
  An OCaml extension for RISC-V
  ☆16Updated 4 years ago
• hongseok-yang / graduatePL23
  ☆19Updated last year
• evanw / wasm-lang
  A hobby language that compiles to WebAssembly
  ☆27Updated 3 weeks ago
• leostera / q-lang
  ☆14Updated last year
• nikswamy / SafeTypeScript
  A type-safe dialect of TypeScript
  ☆25Updated 10 years ago
• acieroid / wassail
  wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …
  ☆56Updated this week