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
  ☆41Updated 2 years ago
• kaist-plrg / jest
  JEST: N+1-version Differential Testing of Both JavaScript Engines
  ☆14Updated 3 years ago
• sola-st / wasm-r3
  Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
  ☆26Updated 5 months ago
• cometkim / rescript-deno
  WIP: ReScript bindings to Deno API
  ☆34Updated last year
• jozanza / re-winit
  OCaml/ReasonML bindings to winit
  ☆10Updated 4 years ago
• cometkim / concurrently.macro
  Transform your async function to be run concurrently much as possible
  ☆23Updated last year
• reason-seoul / rescript-7guis
  The 7GUIs implemented in ReScript
  ☆16Updated last year
• zth / vscode-rescript-relay
  ☆15Updated last year
• green-labs / ppx_ts
  ReScript PPX helps the binding to typescript modules
  ☆35Updated 9 months ago
• julianjensen / dominators
  Various dominator tree algorithms
  ☆22Updated 4 years ago
• jscert / jsexplain
  ☆26Updated 2 years ago
• sukyoung / safe
  Scalable Analysis Framework for ECMAScript
  ☆119Updated 3 years ago
• hatashiro / s-exify
  Beautifier for S-expression, mainly for WAT
  ☆11Updated 4 years ago
• effect-handlers / wasm-effect-handlers
  WebAssembly specification, reference interpreter, and test suite with effect handlers extension.
  ☆32Updated 2 years ago
• raviqqe / fmm
  The uncurried minimal functional programming language for CPS transformation
  ☆18Updated last year
• prosyslab-classroom / hardcore-ocaml
  ☆13Updated 2 months ago
• seadynamic8 / ocaml-modern-docs
  Unofficial OCaml Standard Library Docs - Modern Theme
  ☆11Updated 6 years ago
• cometkim / rescript-vitest
  ReScript bindings to Vitest
  ☆47Updated 3 months ago
• janestreet / ppx_js_style
  Code style checker for Jane Street Packages
  ☆19Updated 4 months ago
• smorimoto / coq-to-ocaml-to-js
  Proof of concept to generate safe and fast JavaScript
  ☆24Updated 2 years ago
• hongseok-yang / graduatePL23
  ☆19Updated last year
• Lupus / ocaml2go
  OCaml to Golang compiler
  ☆38Updated 4 years ago
• reason-seoul / snowpack-rescript-react
  A project template to start ReScript React with Snowpack
  ☆22Updated 3 years ago
• reason-seoul / rescript-collection
  Fast and efficient, persistent immutable collection for JS written in 100% ReScript!
  ☆56Updated last year
• kwanghoon / polyrpc
  PolyRPC, A multi-tier functional programming language
  ☆20Updated 2 years ago
• cyberglot / faeth
  algebraic typechecking and elaboration of type systems
  ☆12Updated 2 months ago
• cverified / cbench
  A benchmark for C program verification
  ☆15Updated 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
• c-cube / smbc
  Experimental model finder/SMT solver for functional programming.
  ☆23Updated 2 years ago
• levjj / esverify-theory
  Formalism and proofs for esverify
  ☆20Updated 6 years ago