kaist-plrg / jstar

Related projects: ⓘ

• 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
  ☆40Updated last year
• sola-st / wasm-r3
  Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
  ☆20Updated 2 weeks ago
• Samsung / mimic
  Synthesizer for JavaScript API models
  ☆17Updated last year
• langston-barrett / tree-splicer
  Simple grammar-based test case generator
  ☆30Updated 4 months ago
• kaist-cp / circ
  CIRC: Concurrent Immediate Reference Counting
  ☆30Updated 3 months ago
• julianjensen / dominators
  Various dominator tree algorithms
  ☆21Updated 4 years ago
• corona10 / toy-superoptimizer
  ☆9Updated last year
• sukyoung / safe
  Scalable Analysis Framework for ECMAScript
  ☆118Updated 3 years ago
• comby-tools / comby-decomposer
  Decompose source code into templates and fragments for any language.
  ☆20Updated 2 years ago
• aqjune / llvmscript
  One-for-all python script for running LLVM experiment
  ☆10Updated 2 years ago
• jmid / pbt-frameworks
  An overview of property-based testing functionality
  ☆52Updated 3 months ago
• hongseok-yang / graduatePL23
  ☆19Updated 10 months ago
• reason-seoul / rescript-7guis
  The 7GUIs implemented in ReScript
  ☆15Updated 7 months ago
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆19Updated 2 years ago
• youknowone / baembal
  Boost ast.parse with RustPython-powered parser technology
  ☆12Updated last year
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆25Updated this week
• dahlia / logtape-otel
  LogTape OpenTelemetry Sink
  ☆11Updated 3 weeks ago
• fitzgen / wasm-smith
  A WebAssembly test case generator
  ☆44Updated 3 years ago
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆53Updated 2 weeks ago
• snu-sf / promising-coq
  The Coq development of A Promising Semantics for Relaxed-Memory Concurrency
  ☆32Updated 3 years ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆26Updated 3 years ago
• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆58Updated 2 weeks ago
• jplevyak / ifa
  IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…
  ☆12Updated 4 years ago
• ligurio / gromit
  EBNF grammar fuzzer
  ☆18Updated 5 years ago
• cometkim / concurrently.macro
  Transform your async function to be run concurrently much as possible
  ☆23Updated 9 months ago
• GaloisInc / pate
  Patches Assured up to Trace Equivalence
  ☆15Updated last week
• kripken / Relooper
  this repo is deprecated, see the binaryen repo
  ☆21Updated 4 years ago
• haskell-kr / haskell-kr
  하스켈 모임 웹사이트 소스 코드
  ☆17Updated 2 years ago