kaist-plrg / jstar

Related projects ⓘ

Alternatives and complementary repositories for jstar

• 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 last year
• sola-st / wasm-r3
  Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
  ☆24Updated 2 weeks ago
• jozanza / re-winit
  OCaml/ReasonML bindings to winit
  ☆10Updated 3 years ago
• reason-seoul / rescript-7guis
  The 7GUIs implemented in ReScript
  ☆15Updated 9 months ago
• cometkim / rescript-deno
  WIP: ReScript bindings to Deno API
  ☆34Updated 11 months ago
• zth / vscode-rescript-relay
  ☆14Updated last year
• cometkim / concurrently.macro
  Transform your async function to be run concurrently much as possible
  ☆23Updated 11 months ago
• raviqqe / fmm
  The uncurried minimal functional programming language for CPS transformation
  ☆18Updated 8 months ago
• BTCTOOLSdev / BTCTOOLS
  BTCTools - Managing your ASIC miners (Windows)
  ☆2Updated 9 months ago
• comby-tools / comby-decomposer
  Decompose source code into templates and fragments for any language.
  ☆21Updated 2 years ago
• sukyoung / safe
  Scalable Analysis Framework for ECMAScript
  ☆119Updated 3 years ago
• smorimoto / coq-to-ocaml-to-js
  Proof of concept to generate safe and fast JavaScript
  ☆25Updated 2 years ago
• GaloisInc / pate
  Patches Assured up to Trace Equivalence
  ☆14Updated this week
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆18Updated last year
• smarr / SOMpp
  SOM++ - C++ implementation of the Simple Object Machine Smalltalk
  ☆12Updated this week
• acieroid / wassail
  wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …
  ☆48Updated 9 months ago
• lezer-parser / rust
  Rust grammar for Lezer
  ☆22Updated 9 months ago
• hatashiro / s-exify
  Beautifier for S-expression, mainly for WAT
  ☆11Updated 4 years ago
• kripken / Relooper
  this repo is deprecated, see the binaryen repo
  ☆21Updated 4 years ago
• dahlia / logtape-otel
  LogTape OpenTelemetry Sink
  ☆12Updated 2 months ago
• ManasJayanth / reason-on-multicore
  Writing multicore programs with Reason
  ☆15Updated 3 years ago
• langston-barrett / tree-splicer
  Simple grammar-based test case generator
  ☆29Updated 6 months ago
• riot-ml / bytestring
  Efficient, immutable, UTF friendly byte strings with Elixir-style pattern matching for OCaml
  ☆14Updated last month
• ninja-rs / ninja-rs
  Ninja is a small build system with a focus on speed. Rust language port.
  ☆16Updated 7 years ago
• iwillspeak / ullage
  A statically-typed compiled language defined by a simple grammar
  ☆23Updated 2 years ago
• julianjensen / dominators
  Various dominator tree algorithms
  ☆22Updated 4 years ago
• skeate / lambdata
  Purely functional data structures in Typescript
  ☆13Updated 4 years ago
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆27Updated this week
• evanw / wasm-lang
  A hobby language that compiles to WebAssembly
  ☆21Updated 4 years ago